Research Catalog
Categories, types, and structures : an introduction to category theory for the working computer scientist
- Title
- Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo.
- Author
- Asperti, Andrea.
- Publication
- Cambridge, Mass. : MIT Press, c1991.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 92-1066 | Offsite |
Details
- Additional Authors
- Longo, G. (Giuseppe)
- Description
- xi, 306 p. : ill.; 24 cm.
- Series Statement
- Foundations of computing
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [289]-299) and index.
- Call Number
- JSE 92-1066
- ISBN
- 0262011255
- LCCN
- 89049085
- OCLC
- 20755899
- NYPG92-B54818
- Author
- Asperti, Andrea.
- Title
- Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo.
- Imprint
- Cambridge, Mass. : MIT Press, c1991.
- Series
- Foundations of computing
- Bibliography
- Includes bibliographical references (p. [289]-299) and index.
- Added Author
- Longo, G. (Giuseppe)
- Research Call Number
- JSE 92-1066