Categories, types, and structures : an introduction to category theory for the working computer scientist /
Asperti, Andrea.
Longo, G.(Giuseppe)
Cambridge, Mass. : MIT Press,
c1991.
Includes bibliographical references.
Programming languages (Electronic computers)
Categories (Mathematics)