The calculi of lambda conversion. Annals of Mathematics Studies Number 6 (1941)

by Alonzo Church