Asperti, A., & Longo, G. (1991). Categories, types, and structures: An introduction to category theory for the working computer scientist. MIT Press.
Chicago-Zitierstil (17. Ausg.)Asperti, Andrea, und Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. Cambridge [u.a.]: MIT Press, 1991.
MLA-Zitierstil (9. Ausg.)Asperti, Andrea, und Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. MIT Press, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.