TY  - RPRT
TI  - Reasonable Space for the $λ$-Calculus, Logarithmically
AU  - Beniamino Accattoli
AU  - Ugo Dal Lago
AU  - Gabriele Vanoni
PY  - 2024
DO  - 10.46298/lmcs-20(4:15)2024
UR  - https://arxiv.org/abs/2203.00362
ID  - 2203.00362
ER  -