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
297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
26 Inheritance and Cofree Constructions – B. P. F. Jacobs, Issn -x, Bart Jacobs - 1995
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
162 A nal coalgebra theorem – P Aczel, N Mendler - 1989
92 An approach to object semantics based on terminal coalgebras – H Reichel - 1995
9 Coalgebraic Specifications and Models of deterministic Hybrid Systems – Bart Jacobs - 1996
27 Proof of Correctness of Object Representations – Grant Malcolm, Joseph A. Goguen
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
85 Towards an Algebraic Semantics for the Object Paradigm – Joseph A. Goguen, Razvan Diaconescu - 1994
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
10 An extended abstract of a hidden agenda – J A Goguen, G Malcolm - 1996
413 Proof of correctness of data representations – C A R Hoare - 1972
124 Algebraic Specification I – H Ehrig, B Mahr - 1985
20 Parametrized Data Types Do Not Need Highly – M A Arbib, E G Manes - 1982
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
34 Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools – Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews - 1998
129 Terminal coalgebras in well-founded set theory, Theoret – Michael Barr - 1993
33 The Temporal Logic of Coalgebras via Galois Algebras – Bart Jacobs - 1999