rijke-2020-modalities:
  type: article
  title: Modalities in homotopy type theory
  author:
  - Rijke, Egbert
  - Shulman, Michael
  - Spitters, Bas
  date: 2020-01
  url: http://dx.doi.org/10.23638/lmcs-16(1:2)2020
  serial-number:
    doi: 10.23638/lmcs-16(1:2)2020
    issn: 1860-5974
  parent:
    type: periodical
    title: Logical Methods in Computer Science
    publisher: Centre pour la Communication Scientifique Directe (CCSD)
    volume: Volume 16, Issue 1