@inproceedings{atkey-2018-syntax, series={LICS ’18}, title={Syntax and Semantics of Quantitative Type Theory}, url={http://dx.doi.org/10.1145/3209108.3209189}, DOI={10.1145/3209108.3209189}, booktitle={Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, publisher={ACM}, author={Atkey, Robert}, year={2018}, month=July, pages={56–65}, collection={LICS ’18} }