Terminal sequences for accessible endofunctors
Open Access
- 1 January 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 19, 24-38
- https://doi.org/10.1016/s1571-0661(05)80267-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spacesMathematical Structures in Computer Science, 1998
- On Transition Systems and Non-well-founded SetsAnnals of the New York Academy of Sciences, 1996
- On the greatest fixed point of a set functorTheoretical Computer Science, 1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Algebraically compact functorsJournal of Pure and Applied Algebra, 1992
- Non-well-founded sets modeled as ideal fixed pointsInformation and Computation, 1991
- A domain equation for bisimulationInformation and Computation, 1991