by Benjamin C. Pierce
No reviews yet. Be the first!
Types and Programming Languages
Statically typed friendly functions via ...
Advanced Topics in Types and Programming...
Real Analysis
Handbook of Categorical Algebra
Algebras, rings and modules
Measure and category
How to Bake Pi
Applied categorical and count data analy...