TY  - BOOK
AU  - Asperti,Andrea
AU  - Longo,G.
TI  - Categories, types, and structures: an introduction to category theory for the working computer scientist 
SN  - 0262011255 (cased)
PY  - 1991///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programming languages (Electronic computers)
KW  - Categories (Mathematics)
N1  - Includes index; Includes bibliographical references : p 289-299
ER  -