On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic.

Lukasz Lachowski

Published in: Reports Math. Log. (2018)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
database
object oriented
higher order
high level