Mongruences and Cofree Coalgebras (1995)

Cached

Download Links

by Bart Jacobs
Venue:Algebraic Methods and Software Technology, number 936 in Lect. Notes Comp. Sci
Citations:30 - 10 self

Documents Related by Co-Citation

228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
9 Coalgebraic Specifications and Models of deterministic Hybrid Systems – Bart Jacobs - 1996
27 Proof of Correctness of Object Representations – Grant Malcolm, Joseph A. Goguen
20 Parametrized Data Types Do Not Need Highly – M A Arbib, E G Manes - 1982
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999
10 An extended abstract of a hidden agenda – J A Goguen, G Malcolm - 1996
124 Fundamentals of Algebraic Specification I – H Ehrig, B Mahr - 1985
48 On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
13 Covarieties and Complete Covarieties РH. Peter Gumm, Tobias Schr̦der - 1999
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
24 Coalgebras and Modal Logic – Alexander Kurz - 1998