riehl-2017-a:
  type: article
  title: A type theory for synthetic ∞-categories
  author:
  - Riehl, Emily
  - Shulman, Michael
  date: 2017-12
  page-range: 147-224
  serial-number:
    doi: 10.21136/hs.2017.06
  parent:
    type: periodical
    title: Higher Structures
    publisher: Institute of Mathematics, Czech Academy of Sciences
    issue: 1
    volume: 1