An Elementary Fragment of Second-Order Lambda Calculus

Klaus Aehlig Jan Johannsen

Published in: CoRR (2002)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
complex objects
database query languages
program understanding
relational databases
databases
artificial intelligence
database systems
query language
general purpose
database technology