 | 2006 |
|---|
| 11 |       | Richard Blute,
J. Robin B. Cockett,
R. A. G. Seely:
Differential categories.
Mathematical Structures in Computer Science 16(6): 1049-1083 (2006) |
| 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) |
| 2000 |
|---|
| 9 | | J. Robin B. Cockett,
Jürgen Koslowski,
R. A. G. Seely:
Introduction to linear bicategories.
Mathematical Structures in Computer Science 10(2): 165-203 (2000) |
| 8 | | Michael Barr,
Philip J. Scott,
R. A. G. Seely:
Introduction.
Mathematical Structures in Computer Science 10(2): 97-98 (2000) |
| 1996 |
|---|
| 7 | | 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) |
| 1995 |
|---|
| 6 | | N. P. Mendler,
Prakash Panangaden,
Philip J. Scott,
R. A. G. Seely:
A Logical View of Concurrent Constraint Programming.
Nord. J. Comput. 2(2): 181-220 (1995) |
| 1993 |
|---|
| 5 | | Richard Blute,
R. A. G. Seely,
Prakash Panangaden:
Holomorhpic Models of Exponential Types in Linear Logic.
MFPS 1993: 474-512 |
| 1992 |
|---|
| 4 | | Prakash Panangaden,
Vijay A. Saraswat,
Philip J. Scott,
R. A. G. Seely:
A Hyperdoctrinal View of Concurrent Constraint Programming.
REX Workshop 1992: 457-476 |
| 1989 |
|---|
| 3 | | R. A. G. Seely:
Graded Multicategories of Polynomial-time Realizers.
Category Theory and Computer Science 1989: 182-197 |
| 1987 |
|---|
| 2 | | R. A. G. Seely:
Modelling Computations: A 2-Categorical Framework
LICS 1987: 65-71 |
| 1 | | R. A. G. Seely:
Categorical Semantics for Higher Order Polymorphic Lambda Calculus.
J. Symb. Log. 52(4): 969-989 (1987) |
