Coalgebraic Coinduction in (Hyper)set-theoretic Categories (2000)

Cached

Download Links

by Furio Honsell , Marina Lenisa

Active Bibliography

15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
5 Themes in Final Semantics – Marina Lenisa - 1998
1 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects – Marina Lenisa - 1983
3 Coinductive Characterizations of Applicative Structures – Furio Honsell, Marina Lenisa - 1998
2 Coalgebraic Semantics of an Imperative Class Based Language – Furio Honsell, Marina Lenisa - 2003
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
13 On the Foundations of Corecursion – Lawrence S. Moss, NORMAN DANNER - 1997
14 Components as processes: An exercise in coalgebraic modeling – L. S. Barbosa - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
1 Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language – Furio Honsell, Marina Lenisa, Rekha Redamalla
4 Axiomatic Characterizations of Hyperuniverses and Applications – Marco Forti, Furio Honsell, Marina Lenisa - 1996
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
7 Generalized Coiteration Schemata – Daniela Cancila, Furio Honsell, Marina Lenisa - 2003
4 Semantics for Finite Delay – Chrysafis Hartonas - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
7 A Small Final Coalgebra Theorem – Yasuo Kawahara, Masao Mori - 1998
1 Uniform Functors on Sets – Lawrence S. Moss