Infinitary Lambda Calculus.

Richard Kennaway Jan Willem Klop M. Ronan Sleep Fer-Jan de Vries

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

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
formal model
query language
complex objects
program understanding