These are the fruits of a morning’s Google search for “The Calculi of Lambda Conversion”, Church’s book and the subject. I am in awe of the quality of information available in this subject. I add to it here with trepidation.

The first few pages of the book.

A good brief intro How to do plain programming in λ calculus

An excellent review by Orrin Frink that would serve well as an introduction.

An Introduction to Lambda Calculus and Scheme by Jim Larson (From Church’s perspective to programming language)

The impact of the lambda calculus by Henk Barendregt (tells the origin of “λ”!)

A Tutorial Introduction to the Lambda Calculus by Raúl Rojas

The Lambda Pattern by Dorin Sandu, Dwight Deugo

Church’s type theory and logic

A short biography of Alonzo Church with some technical information.

A Brief History of Functional Programming

my stuff