170

Traced monoidal categories
– André Joyal, Ross Street, Domnic Verity
 1996

67

Retracing some paths in Process Algebra
– Samson Abramsky

101

Geometry of interaction I: Interpretation of system f
– JY Girard
 1989

73

New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
 1993

111

Coherence for compact closed categories
– M Kelly, M Laplaza
 1980

29

Geometry of Interaction III: Accommodating the Additives
– Jeanyves Girard
 1995

18

A categorical approach to linear logic, geometry of proofs and full completeness
– Esfandiar Haghverdi
 2000

32

Geometry of interaction II: deadlockfree algorithms
– J Y Girard

10

Unique decomposition categories, geometry of interaction and combinatory logic
– E Haghverdi

50

Proofnets and the Hilbert space
– V. Danos, L. Regnier
 1995

32

Glueing and Orthogonality for Models of Linear Logic
– Martin Hyland, Andrea Schalk
 2003

353

Proofs and Types
– JeanYves Girard, Yves Lafont, Paul Taylor
 1989

616

Light Linear Logic
– Jeanyves Girard

210

Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
 1994

69

Dagger compact closed categories and completely positive maps (Extended Abstract)
– Peter Selinger
 2005

48

Soft Linear Logic and Polynomial Time
– Yves Lafont
 2002

99

What is a Categorical Model of Intuitionistic Linear Logic?
– G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C
 1995

97

The Geometry of Optimal Lambda Reduction
– Georges Gonthier, Martín Abadi, JeanJacques Lévy
 1992

73

Natural Deduction and Coherence for Weakly Distributive Categories
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble
 1991
