TY  - RPRT
TI  - A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
AU  - José Espírito Santo
AU  - Delia Kesner
AU  - Loïc Peyrot
PY  - 2024
DO  - 10.46298/lmcs-20(3:10)2024
UR  - https://arxiv.org/abs/2201.04156
ID  - 2201.04156
ER  -