Elements Of The General Theory Of Coalgebras (1999)

by H. Peter Gumm
Citations:30 - 7 self

Documents Related by Co-Citation

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
129 Terminal coalgebras in well-founded 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