本を探す
Scrapbox
「Giuseppe Longo」の検索結果
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Calculi
