| 2009 |
|---|
| 23 | EE | Luigi Santocanale,
J. Robin B. Cockett:
On the word problem for SP-categories, and the properties of two-way communication
CoRR abs/0904.1529: (2009) |
| 2008 |
|---|
| 22 | EE | J. Robin B. Cockett,
P. J. W. Hofstra:
Introduction to Turing categories.
Ann. Pure Appl. Logic 156(2-3): 183-209 (2008) |
| 2007 |
|---|
| 21 | EE | J. Robin B. Cockett,
Craig A. Pastro:
The logic of message passing
CoRR abs/math/0703713: (2007) |
| 20 | EE | J. Robin B. Cockett,
Stephen Lack:
Restriction categories III: colimits, partial limits and extensivity.
Mathematical Structures in Computer Science 17(4): 775-817 (2007) |
| 2006 |
|---|
| 19 | EE | J. Robin B. Cockett:
What Is a Good Process Semantics?
MPC 2006: 1-3 |
| 18 | EE | Richard Blute,
J. Robin B. Cockett,
R. A. G. Seely:
Differential categories.
Mathematical Structures in Computer Science 16(6): 1049-1083 (2006) |
| 2005 |
|---|
| 17 | EE | J. Robin B. Cockett,
Craig A. Pastro:
A Language For Multiplicative-additive Linear Logic.
Electr. Notes Theor. Comput. Sci. 122: 23-65 (2005) |
| 2003 |
|---|
| 16 | | J. Robin B. Cockett,
Stephen Lack:
Restriction categories II: partial map classification.
Theor. Comput. Sci. 294(1/2): 61-102 (2003) |
| 2002 |
|---|
| 15 | EE | J. Robin B. Cockett,
Luigi Santocanale:
Induction, Coinduction, and Adjoints.
Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 14 | | 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) |
| 13 | EE | J. Robin B. Cockett,
Stephen Lack:
Restriction categories I: categories of partial maps.
Theor. Comput. Sci. 270(1-2): 223-259 (2002) |
| 2001 |
|---|
| 12 | EE | J. Robin B. Cockett:
Deforestation, program transformation, and cut-elimination.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 2000 |
|---|
| 11 | | 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) |
| 1997 |
|---|
| 10 | EE | J. Robin B. Cockett,
David A. Spooner:
Constructing Process Categories.
Theor. Comput. Sci. 177(1): 73-109 (1997) |
| 1996 |
|---|
| 9 | | 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 |
|---|
| 8 | EE | J. Robin B. Cockett,
David A. Spooner:
Categories for synchrony and asynchrony.
Electr. Notes Theor. Comput. Sci. 1: (1995) |
| 7 | EE | J. Robin B. Cockett,
Dwight Spencer:
Strong Categorical Datatypes II: A Term Logic for Categorical Programming.
Theor. Comput. Sci. 139(1&2): 69-113 (1995) |
| 1994 |
|---|
| 6 | | J. Robin B. Cockett,
David A. Spooner:
SProc Categorically.
CONCUR 1994: 146-159 |
| 5 | | C. Barry Jay,
J. Robin B. Cockett:
Shapely Types and Shape Polymorphism.
ESOP 1994: 302-316 |
| 1993 |
|---|
| 4 | | J. Robin B. Cockett:
Introduction to Distributive Categories.
Mathematical Structures in Computer Science 3(3): 277-307 (1993) |
| 1990 |
|---|
| 3 | EE | J. Robin B. Cockett,
J. A. Hierrera:
Decision Tree Reduction
J. ACM 37(4): 815-842 (1990) |
| 1987 |
|---|
| 2 | | J. Robin B. Cockett:
Discrete Decision Theory: Manipulations.
Theor. Comput. Sci. 54: 215-236 (1987) |
| 1985 |
|---|
| 1 | EE | J. Robin B. Cockett:
File handling for detail and extent and for subtasks in the implementation of decision processes.
Inf. Sci. 37(1-3): 157-168 (1985) |
