Understanding Lambda Calculus: A Powerful Mathematical Model — Eightify
An unsolvable problem in elementary number theory | Alonzo CHURCH | First edition
Alonzo Church. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton1941, 77 pp. | The Journal of Symbolic Logic | Cambridge Core
转]Wiki: Lambda calculus - Scan. - 博客园
Lambda Calculus | Steve Clark Apps
Alonzo Church | Academic Influence
PDF) The Church–Turing Thesis—Logical Limit or Breachable Barrier? (with Jack Copeland) | Oron Shagrir - Academia.edu