@inproceedings{atkey-2015-models,
  doi = {10.4230/LIPICS.TLCA.2015.45},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TLCA.2015.45},
  author = {Atkey, Robert and Ghani, Neil and Nordvall Forsberg, Fredrik and Revell, Timothy and Staton, Sam},
  keywords = {Category Theory, Units of Measure, Dimension Types, Type Theory},
  language = {en},
  title = {Models for Polymorphism over Physical Dimension},
  volume = {38},
  pages = {45-59},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2015},
  copyright = {Creative Commons Attribution 3.0 Unported license},
  booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}
}