The lambda calculus and its relation to programming languages.

Arthur Evans Jr.

Published in: ACM Annual Conference (2) (1972)

Keyphrases

lambda calculus
programming language
predicate calculus
general purpose
database query languages
logic programming
program understanding
object oriented
software engineering
higher order
strongly typed
machine learning