Distributive Evaluations of lambda-calculus.

Published in: Fundam. Informaticae (1994)

Keyphrases

artificial intelligence
lambda calculus
programming language
predicate calculus
software engineering
complex objects
program understanding
general purpose
expert systems
software maintenance