Alonzo Church

Alonzo Church is the author of books such as The Calculi Of Lambda Conversion.