Universal coalgebra: a theory of systems
Top Cited Papers
- 29 September 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 249 (1) , 3-80
- https://doi.org/10.1016/s0304-3975(00)00056-6
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Reasoning about classes in object-oriented languages: Logical models and toolsPublished by Springer Nature ,1998
- Mechanizing coinduction and corecursion in higher-order logicJournal of Logic and Computation, 1997
- Categorical modelling of structural operational rules case studiesPublished by Springer Nature ,1997
- Inheritance and cofree constructionsPublished by Springer Nature ,1996
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Algebraic specification of data types: A synthetic approachTheory of Computing Systems, 1981
- Machines in a categoryJournal of Pure and Applied Algebra, 1980
- Universal coalgebra and categories of transition systemsTheory of Computing Systems, 1970
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955