The Syntax and Semantics of Quantitative Type Theory (2018)
Visit on bentnib.org
★★★★☆ challenging, entertaining, interactive One of the classics!
