Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton. Models for Polymorphism over Physical Dimension. In Thorsten Altenkirch, editor, 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. Volume 38 of LIPIcs, pages 45-59, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{AtkeyGFRS15,
title = {Models for Polymorphism over Physical Dimension},
author = {Robert Atkey and Neil Ghani and Fredrik Nordvall Forsberg and Timothy Revell and Sam Staton},
year = {2015},
doi = {10.4230/LIPIcs.TLCA.2015.45},
url = {http://dx.doi.org/10.4230/LIPIcs.TLCA.2015.45},
researchr = {https://researchr.org/publication/AtkeyGFRS15},
cites = {0},
citedby = {0},
pages = {45-59},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland},
editor = {Thorsten Altenkirch},
volume = {38},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-87-3},
}