@article{gratzer-2025-controlling, title={Controlling unfolding in type theory}, volume={35}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129525100327}, DOI={10.1017/s0960129525100327}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Gratzer, Daniel and Sterling, Jonathan and Angiuli, Carlo and Coquand, Thierry and Birkedal, Lars}, year={2025} }