Michael Barr

	2006
15		Michael Barr, Anthony Massa: Programming embedded systems - with C and GNU development tools: thinking inside the box: includes real-time and Linux examples (2. ed.). O'Reilly 2006: I-XXI, 1-301
	2000
14		Michael Barr, Philip J. Scott, R. A. G. Seely: Introduction. Mathematical Structures in Computer Science 10(2): 97-98 (2000)
	1999
13		Michael Barr: Programming embedded systems in C and C++ - thinking inside the box. O'Reilly 1999: I-XVIII, 1-174
	1998
12		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
11		Michael Barr: Appendix: Separability of Tensor in Chu Categories of Cector Spaces. Mathematical Structures in Computer Science 6(2): 213-217 (1996)
10		Michael Barr: Fuzzy Models of Linear Logic. Mathematical Structures in Computer Science 6(3): 301-312 (1996)
	1995
9		Michael Barr, Charles Wells: Category theory for computing science (2. ed.). Prentice Hall 1995: I-XVII, 1-325
8		Michael Barr: Nonsymmetric *-Autonomous Categories. Theor. Comput. Sci. 139(1&2): 115-130 (1995)
	1994
7		Michael Barr: Additions and Corrections to ``Terminal Coalgebras in Well-founded Set Theory''. Theor. Comput. Sci. 124(1): 189-192 (1994)
	1993
6		Michael Barr: Terminal Coalgebras in Well-Founded Set Theory. Theor. Comput. Sci. 114(2): 299-315 (1993)
	1991
5		Michael Barr: HSP Type Theorems in the Category of Posets. MFPS 1991: 221-234
4		Michael Barr: *-Autonomous Categories and Linear Logic. Mathematical Structures in Computer Science 1(2): 159-178 (1991)
	1990
3		Michael Barr, Charles Wells: Category theory for computing science. Prentice Hall 1990: I-XV, 1-432
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

Coauthor Index

1	Toby Bennett	[12]
2	Don Davis	[12]
3	Stephen Edwards	[12]
4	Jonathan Harris	[12]
5	Anthony Massa	[15]
6	Ian Miller	[12]
7	Chris Schanck	[12]
8	Philip J. Scott	[14]
9	R. A. G. Seely	[14]
10	Charles Wells	[1] [3] [9]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page