|
5
|
Category theory for linear logicians
– Richard Blute, Philip Scott
- 2004
|
|
6
|
The Logic of Linear Functors
– Richard Blute, J.R.B. Cockett, R. A. G. Seely
- 2002
|
|
3
|
Categories for Computation in Context and Unified Logic: The "Intuitionist" Case
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1997
|
|
9
|
Polarized category theory, modules and game semantics
– J. R. B. Cockett, R. A. G. Seely
- 2004
|
|
7
|
Restriction Categories I
– R. F. Blute, J. R. B. Cockett, R. A. G. Seely
- 2006
|
|
3
|
On categorical models of classical logic and the geometry of interaction
– Carsten Führmann, David Pym
- 2005
|
|
|
Generalised Proof-Nets for Compact Categories with Biproducts
– n.n.
- 2009
|
|
17
|
Linear Läuchli semantics
– R. F. Blute, P. J. Scott
- 1996
|
|
4
|
Coherence of the Double Involution on *- Autonomous Categories. Theory and Applications of Category Theory
– J. R. B. Cockett, M. Hasegawa, R. A. G. Seely
- 2005
|
|
3
|
Fock Space: A Model of Linear Exponential Types
– R. F. Blute, Prakash Panangaden, R. A. G. Seely
- 1994
|
|
8
|
Discrete Quantum Causal Dynamics
– Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden
- 2003
|
|
15
|
A survey of graphical languages for monoidal categories
– Peter Selinger
|
|
|
Proof Nets for Unit-free Multiplicative-Additive Linear Logic
– Extended Dominic, Dominic Hughes, Rob Van Glabbeek
- 2003
|
|
|
Technical Report Softness of Hypercoherences and MALL Full Completeness
– Richard Blute, Masahiro Hamano, Philip Scott
- 2003
|
|
31
|
Proofs nets for unit-free multiplicativeadditive linear logic
– Dominic Hughes, Rob Van Glabbeek
- 2003
|
|
8
|
Games in the Semantics of Programming Languages
– Samson Abramsky
- 1997
|
|
13
|
Sequentiality vs. Concurrency in Games and Logic
– Samson Abramsky
- 2001
|
|
46
|
Concurrent Games and Full Completeness
– Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique
- 1998
|
|
22
|
Nuclear and Trace Ideals in Tensored *-Categories
– Samson Abramsky, Richard Blute, Prakash Panangaden
- 1998
|
