TY  - RPRT
TI  - Encoding Turing Machines into the Deterministic Lambda-Calculus
AU  - Ugo Dal Lago
AU  - Beniamino Accattoli
PY  - 2017
UR  - https://arxiv.org/abs/1711.10078
ID  - 1711.10078
ER  -