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
No code implementations yet. Submit your code now

Categories


Logic in Computer Science

Datasets


  Add Datasets introduced or used in this paper