references.bib

@inproceedings{Atkey2018,
  author={Atkey, Robert},
  series={LICS ’18},
  title={Syntax and Semantics of Quantitative Type Theory},
  doi={10.1145/3209108.3209189},
  booktitle={Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
  year=2018,
  pages={56–-65}
}

@Article{Barthe2000,
  author       = {Barthe, Gilles and S{\o}rensen, Morten Heine},
  date         = {2000-09},
  journaltitle = {Journal of Functional Programming},
  title        = {Domain-free pure type systems},
  doi = {10.1017/S0956796800003750},
  issn         = {1469-7653},
  issue        = {05},
  number       = {5},
  pages        = {417--452},
  volume       = {10}
}

@article{Mcbride2004,
  title={The view from the left},
  volume=14,
  issn={1469-7653},
  doi={10.1017/S0956796803004829},
  number=1,
  journal={Journal of Functional Programming},
  publisher={Cambridge University Press},
  author={McBride, Conor and McKinna, James},
  date={2004-01},
  pages={69–111}
}