Categories, types, and structures
Subtitle: an introduction to category theory for the working computer scientist
By: Andrea Asperti, Giuseppe Longo.
Contributors: Longo, G.
Series: Foundations of computing
Publisher: MIT Press
Published: 1991
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 306
Subjects: Programming languages (Electronic computers); Categories (Mathematics)
Notes: Includes bibliographical references (p. [289]-299) and index.