Logical Full Abstraction and PCF (1996)

by John Longley , Gordon Plotkin
Venue:Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI
Citations:13 - 5 self

Documents Related by Co-Citation

396 LCF considered as a programming language – G D Plotkin - 1977
195 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002