Asperti, A., & Longo, G. (2010). Categories, types, and structures: An introduction to category theory for computer scientists.
Citação norma ChicagoAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Citação norma MLAAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.