Alonzo Church: The Calculi of Lambda-Conversion, 1941
1941 The Calculi of Lambda-Conversion as a volume of the Princeton University Press Annals of Mathematics Studies. It is effectively a rewritten and polished version of lectures Church gave in Princeton in 1936 on the -calculus.
In diesem Aufsatz führte A. Church seinen Lambda-Kalkül ein.