TY  - RPRT
TI  - Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
AU  - Rémy Cerda
AU  - Lionel Vaux Auclair
PY  - 2023
DO  - 10.46298/lmcs-19(4:34)2023
UR  - https://arxiv.org/abs/2211.05608
ID  - 2211.05608
ER  -