Linear Läuchli semantics (1996)

by R. F. Blute , P. J. Scott
Venue:ANNALS PURE APPL. LOGIC
Citations:19 - 7 self

Documents Related by Co-Citation

40 Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule – J.M.E. Hyland, C. -h. L. Ong - 1993
209 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
12 Linear Logic, Totality and Full Completeness – Ralph Loader - 1994
11 Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations – Ralph Loader, Proof-theoretic Characterisations - 1994
88 Proof-nets: The parallel syntax for proof-theory – Jean-yves Girard - 1996
21 Full completeness of the multiplicative linear logic of chu spaces – Harish Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan Pratt - 1999
8 The Shuffle Hopf Algebra and Noncommutative Full Completeness – R. F. Blute, P. J. Scott - 1999
16 Full Completeness for Models of Linear Logic – A Tan - 1997
87 Autonomous categories and linear logic – M Barr - 1991
67 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
131 A game semantics for linear logic – A Blass - 1992
619 Light Linear Logic – Jean-yves Girard
59 Hypercoherences: A Strongly Stable Model of Linear Logic – Thomas Ehrhard - 1993
115 Autonomous Categories – M Barr - 1979
132 The structure of multiplicatives – V Danos, L Regnier - 1989
49 Concurrent Games and Full Completeness – Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique - 1998
66 Retracing some paths in Process Algebra – Samson Abramsky
103 A New Deconstructive Logic: Linear Logic – Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx - 1995