WorldCat Identities

Barr, Michael 1937-

Overview
Works: 33 works in 181 publications in 2 languages and 2,899 library holdings
Genres: Conference papers and proceedings  History 
Roles: Author, Other, Editor
Classifications: QA3, 512.55
Publication Timeline
.
Most widely held works about Michael Barr
 
Most widely held works by Michael Barr
Exact categories and categories of sheaves by Michael Barr( Book )

23 editions published between 1971 and 2008 in 3 languages and held by 442 WorldCat member libraries worldwide

Toposes, triples, and theories by Michael Barr( Book )

23 editions published between 1984 and 2013 in English and German and held by 437 WorldCat member libraries worldwide

This Web site provides visitors with an online version of Toposes, triples, and theories, by Michael Barr and Charles Wells. This book is contains nine chapters that focus on concepts such as: functions, limits, finite-product theories, and Deligne's Theorem. Each chapter contains examples to supplement the learning process
*-Autonomous categories by Michael Barr( Book )

29 editions published between 1979 and 2008 in English and German and held by 403 WorldCat member libraries worldwide

Category theory for computing science by Michael Barr( Book )

29 editions published between 1989 and 1999 in English and Undetermined and held by 357 WorldCat member libraries worldwide

Reports of the Midwest Category Seminar by Midwest Category Seminar( Book )

18 editions published between 1969 and 2008 in English and Undetermined and held by 325 WorldCat member libraries worldwide

Acyclic models by Michael Barr( Book )

8 editions published in 2002 in English and held by 170 WorldCat member libraries worldwide

Category theory for computer science by Michael Barr( Book )

8 editions published between 1995 and 1996 in English and held by 121 WorldCat member libraries worldwide

Reports of the Midwest Category Seminar IV( )

1 edition published in 1970 in English and held by 38 WorldCat member libraries worldwide

The Royal Berkshire Hospital, 1839-1989 by Margaret Railton( Book )

1 edition published in 1989 in English and held by 25 WorldCat member libraries worldwide

Programming embedded systems in C and C by Michael Barr( )

4 editions published in 1999 in English and held by 17 WorldCat member libraries worldwide

Reports of the Midwest category seminar IV by Saunders Mac Lane( Book )

6 editions published in 1970 in English and Undetermined and held by 11 WorldCat member libraries worldwide

*(Star*)-Autonomous categories by Michael Barr( Book )

2 editions published in 1979 in Undetermined and held by 11 WorldCat member libraries worldwide

Logic and proof by E Norman( Book )

1 edition published in 1991 in English and held by 10 WorldCat member libraries worldwide

Report on the investigation into the prevention of tetanus in the British Army by Great Britain( Book )

2 editions published in 1955 in English and held by 10 WorldCat member libraries worldwide

Seminar on triples and categorical homology theory, ETH, 1966-67 by H Appelgate( Book )

4 editions published between 1969 and 2008 in English and held by 7 WorldCat member libraries worldwide

Category theory and its applications : dedicated to professor Bill Lawvere( Book )

2 editions published in 2000 in English and held by 7 WorldCat member libraries worldwide

Functorial semantics and HSP type theorems by Michael Barr( Book )

2 editions published in 1990 in English and held by 3 WorldCat member libraries worldwide

Programming embedded systems : with C and GNU development tools by Michael Barr( Book )

1 edition published in 2007 in English and held by 3 WorldCat member libraries worldwide

Whether you're writing your first embedded program, designing the latest generation of hand-held whatchamacalits, or managing the people who do, this book is for you. Programming Embedded Systems will help you develop the knowledge and skills you need to achieve proficiency with embedded software
PCR-based detection of mobile genetic elements in total community DNA by K Smalla( Book )

1 edition published in 2000 in English and held by 2 WorldCat member libraries worldwide

Reports of the Midwest Category Seminar V by John W Gray( Book )

2 editions published in 1971 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.53 for Programmin ... to 0.99 for Barr, Mich ...)

Exact categories and categories of sheaves
Alternative Names
Barr, M.

Barr, M. 1937-

Barr, M. (Michael)

Barr, M. (Michael), 1937-

Michael Barr Canadees wiskundige

Michael Barr Canadian mathematician and computer scientist

Michael Barr (mathematician)

マイケル・バー

Languages
English (159)

German (3)

Covers
*-Autonomous categoriesReports of the Midwest Category SeminarAcyclic modelsReports of the Midwest Category Seminar IVProgramming embedded systems in C and CReports of the Midwest category seminar IV*(Star*)-Autonomous categoriesSeminar on triples and categorical homology theory, ETH, 1966-67