lumsdaine-2019-semantics:
  type: article
  title: Semantics of higher inductive types
  author:
  - Lumsdaine, Peter LeFanu
  - Shulman, Michael
  date: 2019-06
  page-range: 159-208
  serial-number:
    doi: 10.1017/s030500411900015x
  parent:
    type: periodical
    title: Mathematical Proceedings of the Cambridge Philosophical Society
    publisher: Cambridge University Press (CUP)
    issue: 1
    volume: 169