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

Active Bibliography

Theses Series DISI-TH-2003-XX – Luca Paolini, Université De La Méditerranée, Luca Paolini, G. Rosolini, Ext Reviewers, A. Bucciarelli, S. Ronchi, Della Rocca
8 Full Abstraction, Totality and PCF – Gordon Plotkin - 1997
36 The sequentially realizable functionals – John Longley
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
19 A Uniform Approach to Domain Theory in Realizability Models – John R. Longley, Alex K. Simpson - 1996
1 Matching typed and untyped realizability (Extended abstract) – John Longley
Recursion Theory – Helmut Schwichtenberg - 2007
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
9 A Typed Context Calculus – Masatomo Hashimoto, Atsushi Ohori - 2001
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
5 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
9 Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory – Alex Simpson - 2003
15 Universal Profinite Domains – Carl A. Gunter - 1987
11 Operational domain theory and topology of a sequential language – Martín Escardó, Weng Kin Ho - 2005
9 Computational Adequacy in an Elementary Topos – Alex K. Simpson - 1999
Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992