Lax Logical Relations (2000)

by Gordon Plotkin , John Power , Donald Sannella , Robert Tennent
Venue:In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS
Citations:15 - 2 self

Active Bibliography

19 Logical Relations for Monadic Types – Jean Goubault-Larrecq , Slawomir Lasota, David Nowak - 2002
18 An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement – Yoshiki Kinoshita, Peter W. O'hearn, A. John Power, Makoto Takeyama, Robert D. Tennent - 1997
26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
2 Complete Lax Logical Relations for Cryptographic Lambda-Calculi – Jean Goubault-larrecq, David Nowak, Yu Zhang - 2004
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
Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
15 Enriched Lawvere Theories – John Power
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
4 Logical Relations and Data Abstraction – John Power, Edmund Robinson - 1996
1 A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems – Shin-ya Katsumata - 2004
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
2 Behavioural equivalence and indistinguishability in higher-order typed languages – Shin-ya Katsumata - 2003
1 Specification Refinement with System F, The Higher-Order Case – Jo Erskine Hannay - 2000
31 Kripke Logical Relations and PCF – Peter W. O'Hearn, Jon G. Riecke - 1995
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
11 Parametricity as a Notion of Uniformity in Reflexive Graphs – Brian Patrick Dunphy - 2002
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
10 Countable Lawvere Theories and Computational Effects – John Power - 2006