Must Preorder in Non-Deterministic Untyped Lambda-Calculus.

Ugo de'Liguoro Adolfo Piperno

Published in: CAAP (1992)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
general purpose
databases
complex objects