Alonzo Church & Stephen C. Kleene
Church encoding - Wikipedia
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5460132
A note on the Entscheidungsproblem; Finite Combinatory Processes - Formulation I. | ALONZO CHURCH, EMIL POST
Alonzo Church – Complete Biography, History, and Inventions - History-Computer
Church encoding - Wikipedia
Church encoding - Wikipedia
It's Computable – thanks to Alonzo Church | SciHi Blog
Lambda Calculus | PPT
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, ALONZO (+) ALAN TURING (+) EMIL POST. - [Church:] A note on th ...](https://static.livre-rare-book.com/pictures/LLX/48376_1.jpg "CHURCH, ALONZO (+) ALAN TURING (+) EMIL POST. - [Church:] A note on th ...")
CHURCH, ALONZO (+) ALAN TURING (+) EMIL POST. - [Church:] A note on th ...
Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br
Lambda Calculus | PDF | Formalism (Deductive) | Theory Of Computation
Church encoding - Wikipedia
The Collected Works of Alonzo Church (Mit Press): Burge, Tyler, Enderton, Herbert: 9780262025645: Amazon.com: Books
Introduction to Mathematical Logic: Church, Alonzo: 9780691029061: Amazon.com: Books
Lambda Calculus Slides | PDF | Functional Programming | Software Development
Alonzo Church | Academic Influence
PDF) Introduction to Lambda Calculus using Racket
THE CALCULI OF LAMBDA-CONVERSION
Alonzo Church - Life and Work PDF | PDF | Mathematical Logic | Computability Theory
An unsolvable problem in elementary number theory | Alonzo CHURCH | First edition
![转]Wiki: Lambda calculus - Scan. - 博客园](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Greek_lc_lamda_thin.svg/150px-Greek_lc_lamda_thin.svg.png "转]Wiki: Lambda calculus - Scan. - 博客园")
转]Wiki: Lambda calculus - Scan. - 博客园
PPT - Alonzo Church: Mathematician. Philosopher. Computer Scientist? PowerPoint Presentation - ID:5519470
Alonzo Church - Galois, Inc.
Introduction to the lambda calculus | PPT
The Calculi of Lambda-Conversion (AM-6), Volume 6
