Word Operation Definable in the Typed lambda-Calculus.

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

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
co occurrence
first order logic
database query languages
complex objects
program understanding
databases
transitive closure