Asperti, A., & Longo, G. (1991). Categories, types, and structures: An introduction to category theory for the working computer scientist. MIT.
Cita Chicago Style (17a ed.)Asperti, Andrea, y G. Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. Cambridge (Massachusetts) [etc.]: MIT, 1991.
Cita MLA (9a ed.)Asperti, Andrea, y G. Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. MIT, 1991.
Precaución: Estas citas no son 100% exactas.