Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule (1993)

Cached

Download Links

by J.M.E. Hyland , C. -h. L. Ong
Citations:40 - 4 self

Documents Related by Co-Citation

210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
131 A game semantics for linear logic – A Blass
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
200 On full abstraction for PCF – J M E Hyland, C H L Ong
616 Light Linear Logic – Jean-yves Girard
39 Abramsky and Radha Jagadeesan. Games and full completeness for multiplicative linear logic – Samson - 1994
91 Proof-nets: The parallel syntax for proof-theory – Jean-yves Girard - 1996
22 Full completeness of the multiplicative linear logic of chu spaces – Harish Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan Pratt - 1999
12 Linear Logic, Totality and Full Completeness – Ralph Loader - 1994
134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
395 LCF considered as a programming language – G Plotkin - 1977
62 Full Abstraction for Functional Languages with Control – James Laird - 1997
59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
16 Full Completeness for Models of Linear Logic – A Tan - 1997
75 Categorical combinators, sequential algorithms and functional programming – P L Curien - 1986
87 Autonomous Categories and Linear Logic – M Barr - 1991
49 Autonomous categories, volume 752 – Michael Barr - 1979
31 Ein dialogisches Konstruktivitatskriterium, Infinitistic Methods – P Lorenzen - 1961