The method is named for Alonzo Church, who first encoded data in the lambda calculus this way.

Already in 1951, Alonzo Church had developed an intensional calculus.

He is one of many logicians to have studied under Alonzo Church.

A review by Alonzo Church (1972) described this as "the most careful translation that has been made" but also gave some specific criticisms of it.

Alonzo Church and Arnold Oberschelp also published work on such set theories.

The first problem was answered in the negative by Alonzo Church in 1936.

For example, Alonzo Church was able to express the lambda calculus in a formulaic way.

Alonzo Church would go on to show that the general case of the decision problem for first-order logic is unsolvable (see Church's theorem).

This approach started with the work of Robert von Mises and Alonzo Church.

Alonzo Church interviewed by William Aspray on 17 May 1984.