Asperti, A., & Longo, G. (2010). Categories, types, and structures: An introduction to category theory for computer scientists.
Παραπομπή Chicago StyleAsperti, Andrea, και Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Παραπομπή MLAAsperti, Andrea, και Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.