Encoding Turing Machines into the Deterministic Lambda-Calculus
classification
💻 cs.LO
keywords
encodinglambda-calculusmachinesturingdeterministicnote
pith:JGTE4HZA Add to your LaTeX paper
What is a Pith Number?\usepackage{pith}
\pithnumber{JGTE4HZA}
Prints a linked pith:JGTE4HZA badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more
read the original abstract
This note is about encoding Turing machines into the lambda-calculus.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.