Parametric Corecursion (0)

Cached

Download Links

by Lawrence S. Moss
Venue:Theoretical Computer Science
Citations:15 - 3 self

Active Bibliography

89 Coalgebraic Logic – Lawrence S. Moss - 1999
1 Uniform Functors on Sets – Lawrence S. Moss
302 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
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa - 2000
Helmar Gust • Kai–Uwe Kühnberger – Claus Rollinger, Ute Schmid - 2003
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998