Asperti, A., & Longo, G. (2010). Categories, types, and structures: An introduction to category theory for computer scientists.
Dyfyniad Arddull ChicagoAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Dyfyniad MLAAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.