|
150
|
Traced monoidal categories
– A Joyal, R Street, D Verity
- 1996
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
91
|
Geometry of Interaction I: interpretation of system F
– J-Y Girard
- 1989
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
15
|
A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness
– E Haghverdi
- 2000
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
|
6
|
Nuclearity in the category of complete semilattices
– D A Higgs, K Rowe
- 1989
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
|
215
|
Braided tensor categories
– A Joyal, R Street
- 1993
|
|
18
|
Linearly Distributive Functors
– J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
107
|
Autonomous Categories
– M Barr
- 1979
|
|
63
|
Natural Deduction and Coherence for Weakly Distributive Categories
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble
- 1991
|
|
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
|
|
122
|
The Geometry of Tensor Calculus
– A Joyal, R Street
- 1991
|
|
31
|
Geometry of Interaction II: Deadlock-free Algorithms
– Jean-Yves Girard
- 1990
|
|
10
|
Unique decomposition categories, geometry of interaction and combinatory logic
– E Haghverdi
|
|
26
|
Geometry of Interaction III: Accommodating the Additives
– Jean-yves Girard
- 1995
|
|
44
|
Proof-nets and the Hilbert space
– V. Danos, L. Regnier
- 1995
|
