Categories, types, and structures : an introduction to category theory for the working computer scientist /

Bibliographic Details
Main Author:	Asperti, Andrea
Other Authors:	Longo, G. (Giuseppe)
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1991]
Series:	Foundations of computing.
Subjects:	Programming languages (Electronic computers) Categories (Mathematics)

Description
Physical Description:	xi, 306 pages : illustrations ; 24 cm.
Bibliography:	Includes bibliographical references (pages [289]-299) and index.
ISBN:	0262011255