-
RecordNumber
3544
-
Author
Asperti, Andrea
-
Title
Categories, types, and structures an introduction to category theory for the working computer scientist
-
SubTitle
an introduction to category theory for the working computer scientist
-
Author Statement
Andrea Asperti, Giuseppe Longo
-
Publication
MIT Press
-
Publication Year
c1991
-
Collation
xi, 306 p. ill.
-
Series
Foundations of computing
-
Notes
Includes bibliographical references (p. [289]-299) and index.
-
Subject
Programming languages (Electronic computers) , Categories (Mathematics)
-
ADDED ENTRIES
Longo, G
-
Main class
005
-
Sub class
.13
-
Cutter no
As64c
-
Link To Document :
