TY  - RPRT
TI  - A Log-Sensitive Encoding of Turing Machines in the $λ$-Calculus
AU  - Beniamino Accattoli
AU  - Ugo Dal Lago
AU  - Gabriele Vanoni
PY  - 2023
UR  - https://arxiv.org/abs/2301.12556
ID  - 2301.12556
ER  -