Church, Alonzo T "The Calculi of Lambda-Conversion" 1941

Languages mentioned

• Church typed-lambda calculus {1941} Church
• Lambda Calculus {1936}
• Schoenfinkel {1924} Schoenfinkel's combinatory algebra