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]
No references recorded for this publication.
No citations of this publication recorded.