Perpetual Reductions in Lambda-Calculus.

Femke van Raamsdonk Paula Severi Morten Heine Sørensen Hongwei Xi

Published in: Inf. Comput. (1999)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
efficient computation
higher order
complex objects
database query languages
artificial intelligence
data structure
expert systems
general purpose
formal model
relational algebra
fault localization