gratzer-2024-the:
  type: article
  title: The category of iterative sets in homotopy type theory and univalent foundations
  author:
  - Gratzer, Daniel
  - Gylterud, Håkon Robbestad
  - Mörtberg, Anders
  - Stenholm, Elisabeth
  date: 2024-10
  page-range: 945-970
  url: http://dx.doi.org/10.1017/s0960129524000288
  serial-number:
    doi: 10.1017/s0960129524000288
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    issue: 9
    volume: 34