Closed Reductions in the lambda-Calculus.

Maribel Fernández Ian Mackie

Published in: CSL (1999)

Keyphrases

fault localization
lambda calculus
program understanding
programming language
predicate calculus
databases
knowledge base
higher order
database query languages