The Calculi of Lambda Conversion.Publishers (1941)

by A Church