lambda_beta' - A - lambda-Calculus with a Generalized beta-Reduction Rule.

Published in: Inf. Process. Lett. (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
complex objects
database query languages
higher order
program understanding
case study
high level
knowledge representation
general purpose