Pedagogical second-order lambda-calculus.

Loïc Colson David Michel

Published in: Theor. Comput. Sci. (2009)

Keyphrases

lambda calculus
higher order
programming language
database query languages
predicate calculus
program understanding
database
general purpose
high level
complex objects