Encoding Turing Machines into the Deterministic Lambda-Calculus
Logic in Computer Science
2017-12-04 v1
Abstract
This note is about encoding Turing machines into the lambda-calculus.
Keywords
Cite
@article{arxiv.1711.10078,
title = {Encoding Turing Machines into the Deterministic Lambda-Calculus},
author = {Ugo Dal Lago and Beniamino Accattoli},
journal= {arXiv preprint arXiv:1711.10078},
year = {2017}
}