P. Aczel and N. Mendler. A final coalgebra theorem. In D.H. Pitt et al., editors, Proc. category theory and computer science, volume 389 of LNCS, pages 357--365. Springer-Verlag, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Invariants, Bisimulations and the Correctness of Coalgebraic.. - Jacobs (1997) (Correct)
Generalised Coinduction - Bartels (2001) (9 citations) (Correct)
Observational Ultraproducts of Polynomial Coalgebras - Goldblatt (2002) (Correct)
GSOS for Probabilistic Transition Systems - Bartels (2002) (2 citations) (Correct)
Equational Logic of Polynomial Coalgebras - Goldblatt (2001) (Correct)
GSOS for probabilistic transition systems (Extended Abstract) - Bartels (2002) (Correct)
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (53 citations) (Correct)
A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (47 citations) (Correct)
Programming with Inductive and Co-Inductive Types - Greiner (1992) (6 citations) (Correct)
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (2002) (Correct)
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
Semantics of Name and Value Passing - Fiore, Turi (2001) (7 citations) (Correct)
Generalised Coinduction - Bartels (2000) (9 citations) (Correct)
Modular Construction of Modal Logics - Corina Crstea And (Correct)
Modeling Fresh Names in the π-calculus Using Abstractions - Bruni, al. (2004) (Correct)
Modular Construction of Modal Logics - Corina Crstea And (Correct)
Unknown - (Correct)
A Hierarchy of Probabilistic System Types - Falk Bartels Ana (2003) (4 citations) (Correct)
An Application Of Coinductive Stream Calculus To Signal Flow Graphs - Rutten (2003) (1 citation) (Correct)
Translating Logics for Coalgebras - Pattinson (2002) (Correct)
On Generalised Coinduction and Probabilistic Specification.. - Bartels (2004) (3 citations) (Correct)
Modular Construction of Modal Logics - Crstea, Pattinson (2004) (Correct)
Proof Principles for Datatypes with Iterated Recursion - Hensel, Jacobs (1997) (10 citations) (Correct)
Coalgebraic Semantics of an Imperative Class Based Language - Honsell, Lenisa (Correct)
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC