Completeness Theorems and lambda-Calculus.

Thierry Coquand

Published in: TLCA (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
data quality
database systems
general purpose
data management