Innocent Game Models of Untyped λ-Calculus (2000)

Cached

Download Links

by Andrew D. Ker , Hanno Nickau , C.-H. Luke Ong
Citations:3 - 1 self

Active Bibliography

1 Innocent Game Models of Untyped – Calculus Andrew Ker, Andrew D. Ker, Hanno Nickau, C. -h. Luke Ong - 2000
3 Innocent Game Models of Untyped λ-Calculus – Andrew D. Ker, Hanno Nickau, C.-H. Luke Ong - 2000
3 A universal innocent game model for the Bohm tree lambda theory – Andrew D. Ker, Hanno Nickau, C. -h. Luke Ong - 1999
2 More Universal Game Models of Untyped λ-Calculus: The Böhm Tree Strikes Back – A. D. Ker, H. Nickau, C.-H. L. Ong - 1999
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
Models and theories of λ-calculus – Giulio Manzonetto, Università Ca, Foscari Venezia - 904
A lambda calculus for D∞ – Paula Severi, Fer-Jan de Vries - 2002
Types for Trees – Steffen Van Bakel, Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-jan De Vries
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
2 Polarized Games for Classical Logic – Olivier Laurent - 2002
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
17 Definability and full abstraction – Pierre-Louis Curien
3 A general class of models of H – Giulio Manzonetto
13 Finite Family Developments – Vincent van Oostrom
4 ΣΠ-Polycategories, Additive Linear Logic, and Process Semantics – C.A. Pastro, et al. - 2003
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
A Fully Game Semantics for General References – Samson Abramsky, Kohei Honda, Guy Mccusker - 1998
Game Semantics and its Applications – Luke Ong