Correspondence between ALGOL 60 and Church's Lambda-notation: part I.

Peter J. Landin

Published in: Commun. ACM (1965)

Keyphrases

programming language
point correspondences
table of contents
neural network
information retrieval
search engine
image matching
decision making
case study
similarity measure
point sets
feature matching
modeling language
pixel wise
correspondence matching