An elementary fragment of second-order lambda calculus.

Klaus Aehlig Jan Johannsen

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
high level
program understanding
artificial intelligence
software engineering