170

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

73

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

101

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

67

Retracing some paths in Process Algebra
– Samson Abramsky

44

Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
 2000

23

Linearly Distributive Functors
– J.R.B. Cockett, R.A.G. Seely
 1997

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

73

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

119

Respresentations of categories
– M Barr
 1986

18

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

616

Light Linear Logic
– Jeanyves Girard

149

The geometry of tensor calculus l
– Andre Joyal, Ross Street
 1991

7

Nuclearity in the category of complete semilattices
– D A Higgs, K A Rowe
 1989

28

Nuclear and Trace Ideals in Tensored *Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
 1998

245

Braided tensor categories
– André Joyal, Ross Street
 1993

6

Dual intuitionistic linear logic (manuscript). An earlier version available as
– A Barber, G Plotkin
 1997

38

Linear logic,” Theoretical
– JY Girard
 1987

5

GS·Λ theories: A syntax for higherorder graphs
– M Coccia, F Gadducci, U Montanari
 2003

96

A Mixed Linear and NonLinear Logic: Proofs, Terms and Models (Preliminary Report)
– P. N. Benton
 1994
