A Tutorial Introduction to the Lambda Calculus.

Published in: CoRR (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
complex objects
pairwise
higher order
general purpose
co occurrence
formal model