-
RecordNumber
1528
-
Author
Asperti, Andrea
-
Title
Categories, types, and structures
-
SubTitle
an introduction to category theory for the working computer scientist
-
Author Statement
Andrea Asperti, Giuseppe Longo
-
Publication
MIT Press
-
Publication Year
c1991
-
Collation
vii, 282 p. ill.
-
Series
Foundations of computing
-
Subject
Programming languages (Electronic computers) , Categories (Mathematics)
-
ADDED ENTRIES
Longo, G
-
Main class
005.
-
Sub class
13
-
Cutter no
A839c
-
ISBN
0262011255
-
Link To Document :
