# Syntax and Semantics of Quantitative Type Theory

> Research article (Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018) · cited 93× · AI/ML

**Wikidata**: [openalex:W2799182172](https://www.wikidata.org/wiki/openalex:W2799182172)  
**Source**: https://4ort.xyz/entity/syntax-and-semantics-of-quantitative-type-theory