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

Documents Related by Co-Citation

26 Pre-logical Relations – Furio Honsell, Donald Sannella - 1999
327 Foundations of Programming Languages – J C Mitchell - 1996
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
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
13 Correctness of data representations in Algol-like languages. In: A Classical Mind: Essays – R Tennent - 1994
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
20 Fibrations, Logical Predicates and Indeterminates – Claudio Alberto Hermida - 1993
730 Notions of Computation and Monads – Eugenio Moggi - 1991
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
34 An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC – Marcelo P. Fiore, Gordon D. Plotkin - 1994
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
5 Data-refinement for call-by-value programming languages – Y Kinoshita, J Power - 1999
427 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
40 Foundations for Programming Languages. Foundations of Computing series – J C Mitchell - 1996
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
14 A Categorical Model for Higher Order Imperative Programming – David A. Naumann - 1993
12 Constructive Data Refinement in Typed Lambda Calculus – Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki - 2000
418 Proof of correctness of data representations – C A R Hoare - 1972