APA (7th ed.) Citation

Asperti, A., & Longo, G. (1991). Categories, types, and structures: An introduction to category theory for the working computer scientist. MIT-Press.

Chicago Style (17th ed.) Citation

Asperti, Andrea, and Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. Cambridge, Mass. [u. a.]: MIT-Press, 1991.

MLA (9th ed.) Citation

Asperti, Andrea, and Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. MIT-Press, 1991.