2006 |
11 | EE | 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) |