The Calculi of Lambda Conversion (1941)

by A Church