Encoding Turing Machines into the Deterministic Lambda-Calculus

28 Nov 2017  ·  Lago Ugo Dal, Accattoli Beniamino ·

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

PDF Abstract

Code
Add Remove Mark official

No code implementations yet. Submit your code now

Categories

Logic in Computer Science

Datasets

  Add Datasets introduced or used in this paper
Contact us on: hello@paperswithcode.com . Papers With Code is a free resource with all data licensed under CC-BY-SA.
Terms Data policy Cookies policy