Lambda Calculus with Explicit Recursion.

Zena M. Ariola Jan Willem Klop

Published in: Inf. Comput. (1997)

Keyphrases

lambda calculus
complex objects
programming language
predicate calculus
database query languages
deductive databases
higher order
transitive closure
program understanding
database