|
152
|
Traced monoidal categories
– André Joyal, Ross Street, Domnic Verity
- 1996
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
91
|
Geometry of Interaction I: interpretation of system F
– J-Y Girard
- 1989
|
|
119
|
Interaction Categories and the Foundations of Typed Concurrent Programming
– Samson Abramsky, Simon Gay, Rajagopal Nagarajan
- 1995
|
|
94
|
Coherence for Compact Closed Categories
– G M Kelly, M L Laplaza
- 1980
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
40
|
Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi
– Masahito Hasegawa
- 1997
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
15
|
Feedback and generalized logic
– E S Bainbridge
- 1976
|
|
97
|
Linear Logic, -Autonomous Categories and Cofree Coalgebras
– R.A.G. Seely
- 1989
|
|
97
|
Towards a geometry of interaction
– J Y Girard
- 1989
|
|
124
|
The geometry of tensor calculus
– A Joyal, R Street
- 1991
|
|
76
|
Proof-nets: The parallel syntax for proof-theory
– Jean-yves Girard
- 1996
|
|
173
|
Full Abstraction for PCF
– Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
- 1996
|
|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
92
|
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
|
|
26
|
Geometry of Interaction III: Accommodating the Additives
– Jean-yves Girard
- 1995
|
|
17
|
Linear Läuchli semantics
– R. F. Blute, P. J. Scott
- 1996
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
