A correspondence between ALGOL 60 and Church's Lambda-notations: Part II.

Peter J. Landin

Published in: Commun. ACM (1965)

Keyphrases

programming language
modeling language
lambda calculus
fixed point
search engine
computer vision
levels of abstraction
real time
image retrieval
multiple views
pixel wise
correspondence matching
object oriented concepts