Search the dblp DataBase
Michael Barr :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Don Davis , Michael Barr , Toby Bennett , Stephen Edwards , Jonathan Harris , Ian Miller , Chris Schanck A Java Development and Runtime Environment for Reconfigurable Computing. [Citation Graph (0, 0)][DBLP ] IPPS/SPDP Workshops, 1998, pp:43-48 [Conf ] Michael Barr HSP Type Theorems in the Category of Posets. [Citation Graph (0, 0)][DBLP ] MFPS, 1991, pp:221-234 [Conf ] Charles Wells , Michael Barr The Formal Description of Data Types Using Sketches. [Citation Graph (0, 0)][DBLP ] MFPS, 1987, pp:490-527 [Conf ] Michael Barr *-Autonomous Categories and Linear Logic. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:159-178 [Journal ] Michael Barr Appendix: Separability of Tensor in Chu Categories of Cector Spaces. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:2, pp:213-217 [Journal ] Michael Barr Fuzzy Models of Linear Logic. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1996, v:6, n:3, pp:301-312 [Journal ] Michael Barr , Philip J. Scott , R. A. G. Seely Introduction. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2000, v:10, n:2, pp:97-98 [Journal ] Michael Barr Fixed Points in Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1990, v:70, n:1, pp:65-72 [Journal ] Michael Barr Terminal Coalgebras in Well-Founded Set Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:114, n:2, pp:299-315 [Journal ] Michael Barr Additions and Corrections to ``Terminal Coalgebras in Well-founded Set Theory''. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1994, v:124, n:1, pp:189-192 [Journal ] Michael Barr Nonsymmetric *-Autonomous Categories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:139, n:1&2, pp:115-130 [Journal ] Search in 0.020secs, Finished in 0.022secs