Annals of Mathematics Studies Volume 6: The Calculi of Lambda Conversion (1941)

by Alonzo Church