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

Saved in:
Bibliographic Details
Main Author: Asperti, Andrea.
Other Authors: Longo, G.
Format: Book
Language:English
Published: Cambridge, Mass. : The MIT Press, 1991.
Series:Foundations of computing.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first