298

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

89

Coalgebraic Logic
– Lawrence S. Moss
 1999

133

Terminal coalgebras in wellfounded set theory, Theoretical Computer Science 114
– M Barr
 1993

162

A final coalgebra theorem
– Peter Aczel, Nax Mendler
 1989

228

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

62

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

15

A note on coinduction and weak bisimilarity for While programs
– Jan J M M Rutten
 1999

18

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

52

A fixpoint theorem for complete categories
– J Lambek
 1968

7

A Coalgebraic Equational Approach to Specifying Observational Structures, Theoretical Computer Science 280
– C Cîrstea
 2002

34

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

45

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

36

The Coalgebraic Class Specification Language CCSL  Syntax and Semantics
– Hendrik Tews
 2002

8

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

39

Expressivity of coalgebraic modal logic: The limits and beyond
– Lutz Schröder
 2005

16

Functors for coalgebras, Algebra Universalis
– H P Gumm

9

Coalgebraic logic, Ann
– L Moss
 1999

8

Birkhoff's variety theorem for coalgebras
– H. Peter Gumm
 2001

226

Abstract and Concrete Categories
– J Adámek, H Herrlich, G Strecker
 1990
