gratzerNutyzBirkedal2021:
  type: article
  title: '{Multimodal Dependent Type Theory}'
  author:
  - Gratzer, Daniel
  - Kavvos, G. A.
  - Nuyts, Andreas
  - Birkedal, Lars
  date: 2021-07
  url: https://lmcs.episciences.org/7713
  serial-number:
    doi: 10.46298/lmcs-17(3:11)2021
  parent:
    type: periodical
    title: '{Logical Methods in Computer Science}'
    issue: 3
    volume: 17