An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement (1997)

Cached

Download Links

by Yoshiki Kinoshita , Peter W. O'hearn , A. John Power , Makoto Takeyama , Robert D. Tennent
Venue:Proc. TACS'97, Springer LNCS 1281
Citations:18 - 1 self

Active Bibliography

Logic Column 6 – Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
15 Lax Logical Relations – Gordon Plotkin, John Power, Donald Sannella, Robert Tennent - 2000
CATEGORY-THEORETIC MODELS OF LINEAR ABADI & PLOTKIN LOGIC – Lars Birkedal, Rasmus E. Møgelberg, Rasmus L. Petersen - 2008
On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding – P. Maneggia
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
Formal Parametric Polymorphism – Martn Abadi Luca, Luca Cardelli, Pierre-louis Curien - 1993
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
12 A Simple Proof Technique for Certain Parametricity Results – Karl Crary - 1998
75 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
6 Lax Naturality Through Enrichment – Yoshiki Kinoshita, John Power - 1995
Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
2 A Semantic Formulation of ⊤⊤-lifting and Logical Predicates for Computational Metalanguage – Shin-ya Katsumata - 2005
18 Reflexive Graphs and Parametric Polymorphism – G. Rosolini - 1993
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
4 Logical Relations and Data Abstraction – John Power, Edmund Robinson - 1996