7

Category theory for linear logicians
– Richard Blute, Philip Scott
 2004

7

The Logic of Linear Functors
– Richard Blute, J.R.B. Cockett, R. A. G. Seely
 2002


unknown title
– unknown authors
 2006

4

Categories for Computation in Context and Unified Logic: The "Intuitionist" Case
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
 1997

10

Restriction Categories I
– R. F. Blute, J. R. B. Cockett, R. A. G. Seely
 2006

9

Polarized category theory, modules and game semantics
– J. R. B. Cockett, R. A. G. Seely
 2004


Generalised ProofNets for Compact Categories with Biproducts
– n.n.
 2009

4

On categorical models of classical logic and the geometry of interaction
– Carsten Führmann, David Pym
 2005

3

Fock Space: A Model of Linear Exponential Types
– R. F. Blute, Prakash Panangaden, R. A. G. Seely
 1994

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


Abstract
– Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden
 2008

19

Linear Läuchli semantics
– R. F. Blute, P. J. Scott
 1996

9

Discrete Quantum Causal Dynamics
– Richard F. Blute, Ivan T. Ivanov, Prakash Panangaden
 2003


Linear functors and fixed points
– Masuka Yeasin
 2012

36

A survey of graphical languages for monoidal categories
– Peter Selinger


Proof Nets for Unitfree MultiplicativeAdditive 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

39

Proofs nets for unitfree multiplicativeadditive linear logic
– Dominic Hughes, Rob Van Glabbeek
 2003

8

Games in the Semantics of Programming Languages
– Samson Abramsky
 1997
