APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Asperti, Andrea, and G. Longo. Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist. Cambridge (Massachusetts) [etc.]: MIT, 1991.

MLA (9th ed.) Citation

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