Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
The Emperor's New Mind
- M. Barr, R. Penrose
- Art
- 9 November 1989
TLDR
Category theory for computing science
- M. Barr, C. Wells
- Mathematics, Computer Science
- Prentice Hall International Series in Computer…
- 1 October 1995
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations.… Expand
- 1,098
- 65
- PDF
Toposes, Triples and Theories
1. Categories.- 2. Toposes.- 3. Triples.- 4. Theories.- 5. Properties of Toposes.- 6. Permanence Properties of Toposes.- 7. Representation Theorems.- 8. Cocone Theories.- 9. More on Triples.- Index… Expand
Terminal Coalgebras in Well-Founded Set Theory
- M. Barr
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 21 June 1993
TLDR
*-Autonomous Categories and Linear Logic
- M. Barr
- Computer Science
- Math. Struct. Comput. Sci.
- 1 July 1991
TLDR
Coequalizers and free triples
- M. Barr
- Mathematics
- 1 December 1970
This paper is concerned with two problems which, although not apparently closely related, are solved in part by the same methods. The first problem is: given a bicomplete (=comple te and cocomplete)… Expand
Programming embedded systems in C and C
TLDR
- 130
- 9
- PDF