A note on the Entscheidungsproblem; Finite Combinatory Processes - Formulation I. | ALONZO CHURCH, EMIL POST
Church encoding - Wikipedia
Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br
Princeton - Weekly Bulletin 05/05/03 - Library acquires papers of eminent mathematician
Church encoding - Wikipedia
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470
Alonzo Church – Complete Biography, History, and Inventions - History-Computer
What Is Lambda Calculus? | JRebel by Perforce
Lambda Calculus | PDF | Formalism (Deductive) | Theory Of Computation
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
THE CALCULI OF LAMBDA-CONVERSION
Alonzo Church (Stanford Encyclopedia of Philosophy/Winter 2021 Edition)
Lambda Calculus | PPT
PDF) The Church–Turing Thesis—Logical Limit or Breachable Barrier? (with Jack Copeland) | Oron Shagrir - Academia.edu
Lambda Calculus | Steve Clark Apps
A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition
Church encoding - Wikipedia
Introduction to the lambda calculus | PPT
Alonzo Church & Stephen C. Kleene
Alonzo Church - Life and Work PDF | PDF | Mathematical Logic | Computability Theory
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132
