The Syntax and Semantics of Quantitative Type Theory (2018)
Visit on bentnib.org
Added by: learnawesome
★★★☆☆ inspirational, interactive One of the classics!
