Coinductive Characterizations of Applicative Structures (1998)

Cached

Download Links

by Furio Honsell , Marina Lenisa
Venue:MATH. STRUCTURES IN COMP. SCI. 9(4):403–435
Citations:3 - 0 self

Documents Related by Co-Citation

5 and Classes, co-algebraically, Object-Orientation with Parallelism and Book Persistence, B.Freitag et – Objects - 1996
16 Concurrent semantics for the -calculus – Ugo Montanari, Marco Pistore
53 Functorial Operational Semantics and its Denotational Dual – D Turi - 1996
11 On the Foundations of Final Semantics – D Turi J J M M Rutten - 1993
54 Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 4 e série – Marco Forti, Furio Honsell - 1983
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
15 Final Semantics for a Higher Order Concurrent Language – Marina Lenisa - 1995
10 Final semantics for untyped lambdacalculus – Furio Honsell, Marina Lenisa - 1995
61 Vicious Circles: on the mathematics of non-wellfounded phenomena. Stanford,USA:CSLIPublications – Jon Barwise, Lawrence S Moss - 1996
202 Non–Well–Founded Sets – P Aczel - 1988
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
133 Terminal coalgebras in well-founded set theory, Theoretical Computer Science 114 – M Barr - 1993
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
5 Axioms of Choice and Free Construction Principles – F Honsell M Forti - 1984
5 A general construction of hyperuniverses – M Forti, F Honsell - 1992
2 and corrections to "Terminal coalgebras in wellfounded set theory – Additions - 1994