|
37
|
Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule
– J.M.E. Hyland, C. -h. L. Ong
- 1993
|
|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
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
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
16
|
Full completeness for models of linear logic
– A Tan
- 1997
|
|
64
|
Natural Deduction and Coherence for Weakly Distributive Categories
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble
- 1991
|
|
11
|
Linear Logic, Totality and Full Completeness
– Ralph Loader
- 1994
|
|
10
|
Models of Lambda Calculi and Linear Logic: Structural, Equational and Proof-Theoretic Characterisations
– Ralph Loader, Proof-theoretic Characterisations
- 1994
|
|
76
|
Proof-nets: The parallel syntax for proof-theory
– Jean-yves Girard
- 1996
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
|
83
|
autonomous categories and linear logic
– M Barr
- 1991
|
|
55
|
Hypercoherences: A Strongly Stable Model of Linear Logic
– Thomas Ehrhard
- 1993
|
|
108
|
3-Autonomous Categories
– M Barr
- 1980
|
|
115
|
The Structure of Multiplicatives
– V Danos, L Regnier
- 1989
|
|
112
|
A game semantics for linear logic
– A Blass
- 1992
|
|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
4
|
Pontrjagin Duality and Full Completeness for Multiplicative Linear Logic (Without
– M Hamano
- 2000
|
|
182
|
Categories for the working mathematician, volume 5 of Graduate Texts
– S Mac Lane
|
