Login / Signup
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