A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi (1997)

Cached

Download Links

by Marina Lenisa
Venue:In: Proc. of TAPSOFT'97
Citations:4 - 3 self

Documents Related by Co-Citation

9 Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for -calculi – M Lenisa
9 A Note on Logical Relations Between Semantics and Syntax – Andrew Pitts - 1997
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
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
15 Final Semantics for a Higher Order Concurrent Language – Marina Lenisa - 1995
10 Final semantics for untyped lambdacalculus – Furio Honsell, Marina Lenisa - 1995
36 From Operational Semantics to Domain Theory – Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1995
202 Non–Well–Founded Sets – P Aczel - 1988
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
3 Themes in Final Semantics, Ph.D. Thesis TD-6/98, Dipartimento di Informatica, Universit`a di – Len98 M Lenisa - 1998
11 On the Foundations of Final Semantics – D Turi J J M M Rutten - 1993
75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
2 call-by-value and the lambda calculus – Call-by-name - 1977
26 Type Theories, Normal Forms and D1-Lambda-Models. Information and Computation 72 – M COPPO, M DEZANI-CIANCAGLINI, M ZACCHI - 1987
26 An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus – F Honsell, S Ronchi Della Rocca - 1992
18 Ronchi Della Rocca S., “Operational, Denotational and Logical Description: a case study – L Egidi, F Honsell - 1992
134 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995