Barr, Michael, 1937-....
Michael Barr Canadian mathematician and computer scientist
Barr, Michael
Barr, M. (Michael), 1937-
VIAF ID: 116701872 ( Personal )
Permalink: http://viaf.org/viaf/116701872
Preferred Forms
- 200 _ | ‡a Barr ‡b Michael ‡f 1937-....
-
- 100 1 _ ‡a Barr, Michael
-
- 100 1 _ ‡a Barr, Michael ‡d 1937-
-
- 100 1 _ ‡a Barr, Michael, ‡d 1937-
-
-
-
-
- 100 1 _ ‡a Barr, Michael, ‡d 1937-
-
- 100 1 _ ‡a Barr, Michael, ‡d 1937-....
- 100 0 _ ‡a Michael Barr ‡c Canadian mathematician and computer scientist
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
Acyclic models | |
*-Autonomous categories / Michael Barr. - Berlin, 1979. | |
Category theory for computing science, 1990: | |
Exact categories and categories of sheaves | |
Functorial semantics and HSP type theorems | |
Logic and proof, c1991: | |
Programming embedded systems : with C and GNU development tools | |
Reports of the Midwest category seminar III | |
Seminar on triples and categorical homology theory : ETH 1966-67 | |
Toposes, triples and theories |