Non Deterministic Extensions of Untyped Lambda-Calculus.

Ugo de'Liguoro Adolfo Piperno

Published in: Inf. Comput. (1995)

Keyphrases

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