The Calculi of Lambda Conversion. Annals of Hathematics Studies Number 6 (1941)

by Alonzo Church