Logical Relations and Inductive/coinductive Types (1998)

Cached

Download Links

by Thorsten Altenkirch
Citations:18 - 4 self

Active Bibliography

A Predicative Strong Normalisation Proof for a – Calculus With Interleaving, Andreas Abel, Thorsten Altenkirch
8 A predicative strong normalisation proof for a λ-calculus with interleaving inductive types – Andreas Abel, Thorsten Altenkirch - 1999
2 A Finitary Subsystem of the Polymorphic lambda-calculus – Thorsten Altenkirch, Thierry Coquand
4 A Predicative Strong Normalisation Proof for a lambda-Calculus with Interleaving Inductive Types – Andreas Abel, Thorsten Altenkirch - 2000
Verifying Higher Order Imperative Programs with Higher Order Separation Logic – Neelakantan Krishnaswami - 2008
βη-complete models for System F – Stefano Berardi, Chantal Berline - 2000
On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding – P. Maneggia
Logic Column 6 – Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
Formal Parametric Polymorphism – Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien - 1993
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
6 A Model for Formal Parametric Polymorphism: A PER Interpretation for System R – Roberto Bellucci, Martin Abadi, Pierre-Louis Curien - 1995
6 Specification Refinement with System F – Jo Erskine Hannay - 1999
1 Polynat in PER-models – Ivar Rummelhoff - 2004
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
1 Specification Refinement with System F, The Higher-Order Case – Jo Erskine Hannay - 2000
A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994
A Semantics for a Stratified λ&-Early: A Calculus with Overloading and Early Binding – Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo - 1993
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
1 Categorical Combinators for Charity – Peter M. Vesely, C Fl Peter M. Vesely - 1996