Asperti, A., & Longo, G. (2010). Categories, types, and structures: An introduction to category theory for computer scientists.
Chicago-стиль цитированияAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
MLA-цитированиеAsperti, Andrea, và Giuseppe Longo. Categories, Types, and Structures: An Introduction to Category Theory for Computer Scientists. 2010.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.