Encoding Turing Machines into the Deterministic Lambda-Calculus

11/28/2017

∙

by   Ugo Dal Lago, et al.

∙

0

∙

share

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