The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael Barr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Michael Barr
    HSP Type Theorems in the Category of Posets. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:221-234 [Conf]
  3. Charles Wells, Michael Barr
    The Formal Description of Data Types Using Sketches. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:490-527 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002