Coalgebraic Logic (1999)

Cached

Download Links

by Lawrence S. Moss
Venue:Annals of Pure and Applied Logic
Citations:89 - 0 self

Active Bibliography

298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
1 Uniform Functors on Sets – Lawrence S. Moss
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
2 Final Coalgebras as Greatest Fixed Points in ZF Set Theory – Lawrence C. Paulson, L. C. Paulson - 1999
14 Parametric Corecursion – Lawrence S. Moss
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa - 2000