atkey-2015-models:
  type: article
  title: Models for Polymorphism over Physical Dimension
  author:
  - Atkey, Robert
  - Ghani, Neil
  - Nordvall Forsberg, Fredrik
  - Revell, Timothy
  - Staton, Sam
  date: 2015
  page-range: 45-59
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TLCA.2015.45
  serial-number:
    doi: 10.4230/LIPICS.TLCA.2015.45
  parent:
    type: proceedings
    title: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 38