DeepAI
AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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

Out of credits

Refill your membership to continue using DeepAI

Sign in with Google

×

Use your Google Account to sign in to DeepAI

×

Consider DeepAI Pro