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:16 - 2 self

Active Bibliography

702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
258 A temporal logic for reasoning about processes and plans – Drew Mcdermott - 1982
19 Logical Relations for Monadic Types – Jean Goubault-Larrecq , Slawomir Lasota, David Nowak - 2002
222 A Core Calculus of Dependency – Martín Abadi , Anindya Banerjee, Nevin Heintze, Jon G. Riecke - 1999
241 Abstract interpretation frameworks – Patrick Cousot, Radhia Cousot - 1992
and – Furio Honsell, Donald Sannella
239 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
Logical Relations for Monadic Types † – Ecole Normale, Supérieure Cachan, Jean Goubault-larrecq, David Nowak - 2004