Sage Journals: Discover world-class research

Retricted access

Research article

First published 2017-3-3

From Branching to Linear Time,Coalgebraically

Corina Cîrstea

Fundamenta Informaticae

Retricted access

Research article

First published 2014-10

Categories of Coalgebraic Games with Selective Sum

Furio Honsell, Marina Lenisa, Daniel Pellarini

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Tiered Objects

Fabio Alessi, Felice Cardone

Fundamenta Informaticae

Retricted access

Research article

First published 1989

Bialgebras: Some Foundations for Distributed and Concurrent Computation 1

David B. Benson

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3-3

CoCaml: Functional Programming with Regular Coinductive Types

Jean-Baptiste Jeannin, Dexter Kozen, Alexandra Silva

Fundamenta Informaticae

Retricted access

Research article

First published 2012-10

Unifying Equivalences for Higher Dimensional Automata

Elena Oshevskaya, Irina Virbitskaite, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 2010-7

A Categorical View of Timed Behaviours

Irina Virbitskaite, Natalya Gribovskaya, Eike Best

Fundamenta Informaticae

Retricted access

Research article

First published 1990

Communicating Processes and Entropic Algebras

Anna B. Romanowska, Jonathan D.H. Smith

Fundamenta Informaticae

Free access

Research article

First published 1999-2

Primitive (Co)Recursion and Course-of-Value (Co)Iteration,Categorically

Tarmo Uustalu, Varmo Vene

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2005-2

∂ for Data: Differentiating Data Structures

Michael Abbott, Thorsten Altenkirch, Conor McBride [...]

Fundamenta Informaticae

Search results