The calculi of lambda-conversation - Church, Alonzo (Annals of Mathematics Studies, 1941)