|
108
|
3-Autonomous Categories
– M Barr
- 1980
|
|
8
|
Monads And Interpolads In Bicategories
– Jürgen Koslowski, Transmitted R. J. Wood
- 1997
|
|
7
|
Quantum groups: an entrée to modern algebra. Notes of a course at Macquarie
– R Street
- 1998
|
|
125
|
Introduction to bicategories
– J Benabou
- 1967
|
|
2
|
revised 1998) Beyond the Chu-construction
– J Koslowski
- 1997
|
|
14
|
Feedback for Linearly Distributive Categories: Traces and Fixpoints
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1999
|
|
64
|
Natural Deduction and Coherence for Weakly Distributive Categories
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble
- 1991
|
|
3
|
Beyond the Chu-construction
– Jürgen Koslowski
- 1999
|
|
37
|
Fair Games and Full Completeness for Multiplicative Linear Logic without the MIX-Rule
– J.M.E. Hyland, C. -h. L. Ong
- 1993
|
|
112
|
A game semantics for linear logic
– A Blass
- 1992
|
|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
63
|
Introduction to bicategories, in Reports of the Midwest Category Seminar
– Jean Bénabou
- 1967
|
|
16
|
Introduction to Linear Bicategories
– J. R. B. Cockett, J. Koslowski, R. A. G. Seely
- 1999
|
|
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
|
|
30
|
Yoneda structures on 2-categories
– R Street, R F C Walters
- 1978
|
|
8
|
Formal support for representing and automating semantic interoperability
– Yannis Kalfoglou, Marco Schorlemmer
- 2004
|
|
165
|
Information Flow: The Logic of Distributed Systems
– J Barwise, J Seligman
- 1997
|
|
124
|
The geometry of tensor calculus
– A Joyal, R Street
- 1991
|
