Login / Signup

An Efficient Interpreter for the Lambda-Calculus.

Luigia Carlucci AielloGianfranco Prini
Published in: J. Comput. Syst. Sci. (1981)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • general purpose
  • databases
  • object oriented
  • formal model