Research paper in type-theory The Syntax and Semantics of Quantitative Type Theory (2018) (bentnib.org) ★ - 0 ratings