The sequentially realizable functionals

by John Longley
Citations:37 - 9 self

Documents Related by Co-Citation

51 Fully abstract semantics for observably sequential languages – Robert Cartwright, Pierre-Louis Curien, Matthias Felleisen - 1994
406 LCF considered as a programming language – Gordon Plotkin - 1977
205 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
40 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
218 On Full Abstraction for PCF – M Hyland, L Ong - 2000
68 Realizability Toposes and Language Semantics – John R Longley - 1995
57 Sequentiality and strong stability – A Bucciarelli, T Ehrhard - 1991
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
669 Light Linear Logic – Jean-yves Girard