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

Active Bibliography

5 Themes in Final Semantics – Marina Lenisa - 1998
3 Coinductive Characterizations of Applicative Structures – Furio Honsell, Marina Lenisa - 1998
2 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
6 Semantical Analysis of Perpetual Strategies in λ-calculus – Furio Honsell, Marina Lenisa - 1998
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
2 Call-by-value Solvability – Luca Paolini Universit, Luca Paolini, Simona Ronchi, Della Rocca - 1999
2 Final Semantics for untyped λ-calculus – Furio Honsell, Marina Lenisa - 1995
6 Labelled Reductions, Runtime Errors, and Operational Subsumption – Laurent Dami - 1997
3 Operational Subsumption, an Ideal Model of Subtyping – Laurent Dami, Centre Universitaire D'informatique - 1998
Observational Program Calculi and the Correctness of Translations – unknown authors
Parametric λ-Theories – Luca Paolini - 2007
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
11 Intersection Types and Lambda Models – Fabio Alessi, Franco Barbanera - 2005
4 The Coverage of Operational Semantics – Scott F. Smith - 1998
5 On generic context lemmas for lambda calculi with sharing – Manfred Schmidt-Schauß, David Sabel - 2008
SIMULATION IN THE CALL-BY-NEED LAMBDA-CALCULUS WITH LETREC – Manfred Schmidt-schauss, David, Sabel, Elena Machkasova
Operational Semantics and Extensionality – Simona Ronchi Della Rocca - 2000
12 Simple easy terms – F. Alessi, S. Lusin - 2002
17 Compositional Characterizations of λ-terms using Intersection Types (Extended Abstract) – M. Dezani-Ciancaglini, F. Honsell, Y. Motohama - 2000