Introduction to Mathematical Logic: Church, Alonzo: 9780691029061: Amazon.com: Books
It's Computable – thanks to Alonzo Church | SciHi Blog
Lambda Calculus Slides | PDF | Functional Programming | Software Development
An unsolvable problem in elementary number theory | Alonzo CHURCH | First edition
Lambda Calculus | PDF | Formalism (Deductive) | Theory Of Computation
Amazon.com: Logic, Meaning and Computation: Essays in Memory of Alonzo Church (Synthese Library, 305): 9781402001413: Anderson, C. Anthony, Zelëny, Michael: Books
Church encoding - Wikipedia
Lambda Calculus | PPT
Church encoding - Wikipedia
THE CALCULI OF LAMBDA-CONVERSION
Alonzo Church | Academic Influence
Understanding Lambda Calculus: A Powerful Mathematical Model — Eightify
A Note of the Entscheidungsproblem,' pp. 40-41 in The Journal of Symbolic Logic, Vol. 1, No. 1, March 1936 | Alonzo CHURCH | First edition
Slide 1 Slide 2 1 Slide 3 Alonzo Church λ-calculus Slide 4 Basic intuition: instead of f(x) = x + 5 write f = λx. x + 5 λx. x
Alonzo Church – Complete Biography, History, and Inventions - History-Computer
Introduction to the lambda calculus | PPT
Alonzo Church & Stephen C. Kleene
Lambda calculus: Currying, Knights of the Lambda Calculus, Combinatory logic, Fixed point combinator, Church-Rosser theorem, Anonymous function | Amazon.com.br
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