Categorical completeness results for the simply-typed lambda-calculus.

Alex K. Simpson

Published in: TLCA (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
program understanding
data structure
higher order
databases
data quality