kolomatskaia-2025-displayed:
  type: article
  title: Displayed type theory and semi-simplicial types
  author:
  - Kolomatskaia, Astra
  - Shulman, Michael
  date: 2025
  url: http://dx.doi.org/10.1017/s096012952510025x
  serial-number:
    doi: 10.1017/s096012952510025x
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    volume: 35