The Syntax and Semantics of Quantitative Type Theory (2018)
Visit on bentnib.org
Added by: learnawesome
