The Calculi of Lambda Conversion (1941)

by A Church
Venue:Annals of Mathematics Studies 6, Princeton