| |
| 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 | |
| 1 | Toby Bennett | [10] |
| 2 | Don Davis | [10] |
| 3 | Stephen Edwards | [10] |
| 4 | Jonathan Harris | [10] |
| 5 | Ian Miller | [10] |
| 6 | Chris Schanck | [10] |
| 7 | Philip J. Scott | [11] |
| 8 | R. A. G. Seely | [11] |
| 9 | Charles Wells | [1] |