| 2000 |
|---|
| 11 | | Michael Barr,
Philip J. Scott,
R. A. G. Seely:
Introduction.
Mathematical Structures in Computer Science 10(2): 97-98 (2000) |
| 1998 |
|---|
| 10 | | Don Davis,
Michael Barr,
Toby Bennett,
Stephen Edwards,
Jonathan Harris,
Ian Miller,
Chris Schanck:
A Java Development and Runtime Environment for Reconfigurable Computing.
IPPS/SPDP Workshops 1998: 43-48 |
| 1996 |
|---|
| 9 | | Michael Barr:
Appendix: Separability of Tensor in Chu Categories of Cector Spaces.
Mathematical Structures in Computer Science 6(2): 213-217 (1996) |
| 8 | | Michael Barr:
Fuzzy Models of Linear Logic.
Mathematical Structures in Computer Science 6(3): 301-312 (1996) |
| 1995 |
|---|
| 7 | EE | Michael Barr:
Nonsymmetric *-Autonomous Categories.
Theor. Comput. Sci. 139(1&2): 115-130 (1995) |
| 1994 |
|---|
| 6 | | Michael Barr:
Additions and Corrections to ``Terminal Coalgebras in Well-founded Set Theory''.
Theor. Comput. Sci. 124(1): 189-192 (1994) |
| 1993 |
|---|
| 5 | | Michael Barr:
Terminal Coalgebras in Well-Founded Set Theory.
Theor. Comput. Sci. 114(2): 299-315 (1993) |
| 1991 |
|---|
| 4 | | Michael Barr:
HSP Type Theorems in the Category of Posets.
MFPS 1991: 221-234 |
| 3 | | Michael Barr:
*-Autonomous Categories and Linear Logic.
Mathematical Structures in Computer Science 1(2): 159-178 (1991) |
| 1990 |
|---|
| 2 | | Michael Barr:
Fixed Points in Cartesian Closed Categories.
Theor. Comput. Sci. 70(1): 65-72 (1990) |
| 1987 |
|---|
| 1 | | Charles Wells,
Michael Barr:
The Formal Description of Data Types Using Sketches.
MFPS 1987: 490-527 |
