This note is about encoding Turing machines into the lambda-calculus.
Ugo Dal Lago
Beniamino Accattoli
page 1
page 2
page 3
page 4
Sign up for DeepAI
Already have an account? Login here
Login to DeepAI
Forgot password? Click here
Don't have an account? Signup here
Become a DeepAI PRO
Pay as you go
Out of credits
SHARE