Encoding Turing Machines into the Deterministic Lambda-Calculus

11/28/2017
by   Ugo Dal Lago, et al.
0

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

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset