@misc{indiciae4771b3b65e72,
  title = {A Log-Sensitive Encoding of Turing Machines in the \$λ\$-Calculus},
  author = {Beniamino Accattoli and Ugo Dal Lago and Gabriele Vanoni},
  year = {2023},
  url = {https://arxiv.org/abs/2301.12556},
  note = {Source identifier: 2301.12556}
}