The sequentially realizable functionals

by John Longley
Citations:39 - 9 self

Active Bibliography

The – John Longleyy
12 Notions of computability at higher types I – John Longley - 2005
30 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
1 Matching typed and untyped realizability (Extended abstract) – John Longley
54 Algorithmic Game Semantics – Samson Abramsky - 2001
32 A Semantic analysis of control – James David Laird - 1998
16 Definability and full abstraction – Pierre-Louis Curien
32 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992