165

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

73

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

100

Geometry of Interaction I: interpretation of system F
– JY Girard
 1989

66

Retracing some paths in Process Algebra
– Samson Abramsky

43

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

22

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

115

autonomous categories
– M Barr
 1980

67

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

18

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

614

Light Linear Logic
– Jeanyves Girard

147

The geometry of tensor calculus, I
– A Joyal, R Street
 1991

7

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

26

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

243

Braided tensor categories
– A Joyal, R Street
 1991

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

25

An orderalgebraic definition of Knuthian semantics
– L Chirica, D Martin
 1979
