298

Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
 2000

129

Terminal coalgebras in wellfounded set theory, Theoret
– Michael Barr
 1993

16

Functors for coalgebras, Algebra Universalis
– H P Gumm

162

A nal coalgebra theorem
– P Aczel, N Mendler
 1989

89

Coalgebraic Logic
– Lawrence S. Moss
 1999

7

A coalgebraic equational approach to specifying observational structures
– C Cîrstea
 2002

43

Universal Coalgebra: A Theory of Systems, Theoretical Computer Science 249
– J Rutten
 2000

7

A final coalgebra theorem, Proceedings category theory and computer science
– P Aczel, N Mendler
 1989

13

Covarieties and Complete Covarieties
– H. Peter Gumm, Tobias Schröder
 1999

20

Some properties of set functors
– V Trnková
 1969

62

Automata and coinduction (an exercise in coalgebra
– J. J. M. M. Rutten
 1998

228

A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
 1997

52

A fixpoint theorem for complete categories
– J Lambek
 1968

34

Observer Complete Definitions are Behaviourally Coherent
– Michel Bidoit , Rolf Hennicker
 1999

18

Conditional Circular Coinductive Rewriting with Case Analysis
– Joseph Goguen, Kai Lin, Grigore Rosu
 2002

19

Coalgebra semantics for hidden algebra: parameterized objects and inheritance
– Corina Cirstea
 1998

25

A coinductive calculus of streams
– J. J. M. M. Rutten
 2005

19

Calculus in Coinductive Form
– D. Pavlovic, M.H. Escardó
 1998

5

Behavioural Differential Equations and Coinduction for Binary Trees
– Ra Silva, Jan Rutten
