Searching for authors named John Longley – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Realizability Models for Sequential Computation
- … September 1998 (Unfinished Draft!) John Longley Abstract We give an overview of some recently discovered…
- Add To MetaCart
-
Notions of computability at higher types II
- …Notions of computability at higher types II John Longley April 6, 2001 In Part I of this series…
- Cited by 2 (2 self) – Add To MetaCart
-
When is a Functional Program Not a Functional Program?
- …When is a functional program not a functional program? John Longley Abstract In an impure…
- Cited by 13 (5 self) – Add To MetaCart
-
Notions of computability at higher types I
- …Notions of computability at higher types I John Longley August 4, 2001 Abstract We discuss…
- Cited by 4 (0 self) – Add To MetaCart
-
Logical Full Abstraction and PCF
- …Logical Full Abstraction and PCF John Longley Gordon Plotkin March 15, 1996 Abstract We introduce…
- Cited by 7 (3 self) – Add To MetaCart
-
A Uniform Approach to Domain Theory in Realizability Models
- … Press A Uniform Approach to Domain Theory in Realizability Models JOHN R. LONGLEY and ALEX K. S I MPSON…
- Cited by 17 (4 self) – Add To MetaCart
-
Constructive Data Refinement in Typed Lambda Calculus
- …Constructive data refinement in typed lambda calculus Furio Honsell 1;2 , John Longley 1…
- Cited by 13 (7 self) – Add To MetaCart
Showing 1 through 7.
