|
103
|
Weakly Distributive Categories
– Cockett Seely, J. R. B. Cockett, R. A. G. Seely
- 1991
|
|
18
|
Linearly Distributive Functors
– J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
64
|
Natural Deduction and Coherence for Weakly Distributive Categories
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble
- 1991
|
|
216
|
Braided tensor categories
– A Joyal, R Street
|
|
108
|
3-Autonomous Categories
– M Barr
- 1980
|
|
63
|
Introduction to bicategories, in Reports of the Midwest Category Seminar
– Jean Bénabou
- 1967
|
|
8
|
Classical linear logic of implications
– Masahito Hasegawa
- 2002
|
|
86
|
Handbook of Categorical Algebra 1: Basic Category Theory
– F Borceux
- 1994
|
|
43
|
Semantics of Interaction: an introduction to Game Semantics
– Abr96 S Abramsky
- 1997
|
|
3
|
Beyond the Chu-construction
– Jürgen Koslowski
- 1999
|
|
30
|
Yoneda structures on 2-categories
– R Street, R F C Walters
- 1978
|
|
112
|
A game semantics for linear logic
– A Blass
- 1992
|
|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
69
|
Two-dimensional monad theory
– R Blackwell, G M Kelly, A J Power
- 1989
|
|
80
|
Phase semantics and sequent calculus for pure noncommutative classical linear logic
– V M Abrusci
- 1991
|
|
28
|
Glueing and Orthogonality for Models of Linear Logic
– Martin Hyland, Andrea Schalk
- 2003
|
|
142
|
logic: its syntax and semantics
– Jean-yves Girard
- 1995
|
|
8
|
Monads And Interpolads In Bicategories
– Jürgen Koslowski, Transmitted R. J. Wood
- 1997
|
|
9
|
Game semantics. In Semantics and Logics of Computation
– M Hyland
- 1997
|
