Highlights of the History of the Lambda-Calculus.

J. Barkley Rosser

Published in: IEEE Ann. Hist. Comput. (1984)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
knowledge base
database systems
general purpose