@inproceedings{quantitative-type-theory,
    Author = {Atkey, Robert},
    BookTitle = {LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9--12, 2018, Oxford, United Kingdom},
    File = {The Syntax and Semantics of Quantitative Type Theory - a - a - l.pdf},
    Title = {The Syntax and Semantics of Quantitative Type Theory},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.1145/3209108.3209189},
    date-added = {2019-07-23 15:24:35 +0200},
    date-modified = {2019-07-23 15:24:35 +0200},
    file-2 = {quantitative-type-theory - a - a - l.pdf},
    doi = {10.1145/3209108.3209189}
}

@inproceedings{quantitative-type-theory, Author = {Atkey, Robert}, BookTitle = {LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, July 9--12, 2018, Oxford, United Kingdom}, File = {The Syntax and Semantics of Quantitative Type Theory - a - a - l.pdf}, Title = {The Syntax and Semantics of Quantitative Type Theory}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.1145/3209108.3209189}, date-added = {2019-07-23 15:24:35 +0200}, date-modified = {2019-07-23 15:24:35 +0200}, file-2 = {quantitative-type-theory - a - a - l.pdf}, doi = {10.1145/3209108.3209189} }