Applications of infinitary lambda calculus.

Henk Barendregt Jan Willem Klop

Published in: Inf. Comput. (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
higher order
complex objects
object oriented
user defined
database applications