An Efficient Interpreter for the Lambda-Calculus.

Luigia Carlucci Aiello Gianfranco Prini

Published in: J. Comput. Syst. Sci. (1981)

Keyphrases

lambda calculus
programming language
predicate calculus
general purpose
databases
object oriented
formal model