TY  - RPRT
TI  - Formalizing equivalences without tears
AU  - Tom de Jong
PY  - 2025
DO  - 10.4230/lipics.types.2024.1
UR  - https://arxiv.org/abs/2408.11501
ID  - 2408.11501
ER  -