TY  - RPRT
TI  - Controlling unfolding in type theory
AU  - Daniel Gratzer
AU  - Jonathan Sterling
AU  - Carlo Angiuli
AU  - Thierry Coquand
AU  - Lars Birkedal
PY  - 2025
DO  - 10.1017/s0960129525100327
UR  - https://arxiv.org/abs/2210.05420
ID  - 2210.05420
ER  -