| 2007 |
|---|
| 14 | EE | Richard Blute,
Prakash Panangaden,
Dorette Pronk:
Conformal Field Theory as a Nuclear Functor.
Electr. Notes Theor. Comput. Sci. 172: 101-132 (2007) |
| 2006 |
|---|
| 13 | EE | Richard Blute,
J. Robin B. Cockett,
R. A. G. Seely:
Differential categories.
Mathematical Structures in Computer Science 16(6): 1049-1083 (2006) |
| 2005 |
|---|
| 12 | EE | Richard Blute,
Masahiro Hamano,
Philip J. Scott:
Softness of hypercoherences and MALL full completeness.
Ann. Pure Appl. Logic 131(1-3): 1-63 (2005) |
| 2002 |
|---|
| 11 | EE | Richard Blute,
Peter Selinger:
Preface.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 10 | | Richard Blute,
J. Robin B. Cockett,
R. A. G. Seely:
The Logic of Linear Functors.
Mathematical Structures in Computer Science 12(4): 513-539 (2002) |
| 1998 |
|---|
| 9 | | Richard Blute,
Philip J. Scott:
The Shuffle Hopf Algebra and Noncommutative Full Completeness.
J. Symb. Log. 63(4): 1413-1436 (1998) |
| 1997 |
|---|
| 8 | EE | Richard Blute,
Josee Desharnais,
Abbas Edalat,
Prakash Panangaden:
Bisimulation for Labelled Markov Processes.
LICS 1997: 149-158 |
| 1996 |
|---|
| 7 | | Richard Blute,
Philip J. Scott:
Linear Läuchli Semantics.
Ann. Pure Appl. Logic 77(2): 101-142 (1996) |
| 6 | EE | Richard Blute,
Philip J. Scott:
A Noncommutative Full Completeness Theorem.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 5 | | Richard Blute:
Hopf Algebras and Linear Logic.
Mathematical Structures in Computer Science 6(2): 189-217 (1996) |
| 4 | | Richard Blute,
J. Robin B. Cockett,
R. A. G. Seely:
! and ? - Storage as Tensorial Strength.
Mathematical Structures in Computer Science 6(4): 313-351 (1996) |
| 1993 |
|---|
| 3 | | Richard Blute,
R. A. G. Seely,
Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic.
MFPS 1993: 474-512 |
| 2 | | Richard Blute:
Linear Logic, Coherence, and Dinaturality.
Theor. Comput. Sci. 115(1): 3-41 (1993) |
| 1991 |
|---|
| 1 | | Richard Blute:
Proof Nets and Coherence Theorems.
Category Theory and Computer Science 1991: 121-137 |
