Login / Signup
Encoding Turing Machines into the Deterministic Lambda-Calculus.
Ugo Dal Lago
Beniamino Accattoli
Published in:
CoRR (2017)
Keyphrases
</>
turing machine
lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
high level
software engineering
integrity constraints
complex objects