Categories, types, and structures : an introduction to category theory for the working computer scientist /
Asperti, Andrea.
Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. - Cambridge, Mass. : MIT Press, c1991. - xi, 306 p. ; 24 cm. - Foundations of computing series. .
Includes index.
Includes bibliographical references : p 289-299.
0262011255 (cased)
Programming languages (Electronic computers).
Categories (Mathematics).
Categories, types, and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo. - Cambridge, Mass. : MIT Press, c1991. - xi, 306 p. ; 24 cm. - Foundations of computing series. .
Includes index.
Includes bibliographical references : p 289-299.
0262011255 (cased)
Programming languages (Electronic computers).
Categories (Mathematics).