gratzer-2025-controlling:
  type: article
  title: Controlling unfolding in type theory
  author:
  - Gratzer, Daniel
  - Sterling, Jonathan
  - Angiuli, Carlo
  - Coquand, Thierry
  - Birkedal, Lars
  date: 2025
  url: http://dx.doi.org/10.1017/s0960129525100327
  serial-number:
    doi: 10.1017/s0960129525100327
    issn: 1469-8072
  parent:
    type: periodical
    title: Mathematical Structures in Computer Science
    publisher: Cambridge University Press (CUP)
    volume: 35