The lambda mechanism in lambda calculus and in other calculi.

M. H. van Emden

Published in: CoRR (2015)

Keyphrases

lambda calculus
programming language
higher order
program understanding
database query languages
predicate calculus
query language
general purpose
distance function