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

123

Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
 1995

45

Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
– Masahito Hasegawa
 1997

111

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

192

Full Abstraction for PCF
– Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
 1996

210

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

930

Categories for the Working Mathematician
– S Mac Lane
 1971

44

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

149

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

269

Von Neumann, The logic of quantum mechanics
– Garrett Birkhoff, John
 1936

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

19

Linear Läuchli semantics
– R. F. Blute, P. J. Scott
 1996

15

Feedback and generalized logic
– E S Bainbridge
 1976

50

Concurrent Games and Full Completeness
– Samson Abramsky, PaulAndré Melliès, Equipe De Logique Mathematique
 1998

616

Light Linear Logic
– Jeanyves Girard

353

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

16

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