paper

Encoding Turing Machines into the Deterministic Lambda-Calculus

arXiv:1711.10078

Abstract

This note is about encoding Turing machines into the lambda-calculus.