67

Retracing some paths in Process Algebra
– Samson Abramsky

153

A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke

170

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

73

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

32

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

44

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

10

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

50

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

101

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

616

Light Linear Logic
– Jeanyves Girard

119

Respresentations of categories
– M Barr
 1986

41

A categorical approach to probability theory
– M Giry
 1981

111

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

16

Feedback for Linearly Distributive Categories: Traces and Fixpoints
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
 1999

32

Geometry of interaction II: deadlockfree algorithms
– J Y Girard

29

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

97

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

18

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

139

Bisimulation for Labelled Markov Processes
– Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden
 1997
