Asperti, A., & Longo, G. (2010). Categories, types, and structures: An introduction to category theory for computer scientists.
シカゴスタイル引用形Asperti, Andrea, , Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
MLA引用形式Asperti, Andrea, , Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
警告: この引用は必ずしも正確ではありません.