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 [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.