Searching for authors named "Martin Hyland" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Games on graphs and sequentially realizable functionals
- …Games on Graphs and Sequentially Realizable Functionals Extended Abstract Martin Hyland DPMMS…
- Cited by 15 (2 self) – Add To MetaCart
-
A Syntactic Characterization of the Equality in some Models for the Lambda Calculus
- …A SYNTACTIC CHARACTERIZATION OF THE EQUALITY IN SOME MODELS FOR THE LAMBDA CALCULUS MARTIN HYLAND…
- Cited by 41 (0 self) – Add To MetaCart
-
Traced Premonoidal Categories
- … Applications TRACED PREMONOIDAL CATEGORIES Nick Benton 1 and Martin Hyland 2 Abstract. Motivated by some…
- Cited by 4 (0 self) – Add To MetaCart
-
Dialogue Games and Innocent Strategies: An Approach to (Intensional) Full Abstraction for PCF
- … Preliminary Announcement Martin Hyland and Luke Ong 26th July 1993 This note is (intended to be) released…
- Cited by 3 (0 self) – Add To MetaCart
-
Glueing and Orthogonality for Models of Linear Logic
- …Glueing and Orthogonality for Models of Linear Logic Martin Hyland DPMMS University…
- Cited by 24 (6 self) – Add To MetaCart
-
Combining Computational Effects: Commutativity and Sum
- …Combining computational e#ects: commutativity and sum Martin Hyland, 1 Gordon Plotkin and John…
- Cited by 14 (3 self) – Add To MetaCart
-
Combining effects: Sum and tensor
- … Combining effects: sum and tensor Martin Hyland, 1 Gordon Plotkin 2 and John Power 2 ? 1…
- Cited by 6 (1 self) – Add To MetaCart
-
Term Assignment for Intuitionistic Linear Logic
- … Valeria de Paiva Computer Laboratory University of Cambridge fpnb,gmb,vcvpg@(email omitted); Martin Hyland…
- Cited by 50 (9 self) – Add To MetaCart
-
Designs, Disputes And Strategies
- …Technical Report Number 535 Designs, disputes and strategies Claudia Faggian, Martin Hyland May…
- Cited by 12 (4 self) – Add To MetaCart
-
Combining Continuations with Other Effects
- …Combining continuations with other eects Martin Hyland, 1 Paul Blain Levy, 2 Gordon Plotkin…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
