本を探す
Scrapbox
「Andrea Asperti」の検索結果
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science)
feedc0de
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Calculi
