[FOM] Scott's history of Lambda calculus for the Turing centennary

John Baldwin jbaldwin at uic.edu
Thu Jul 19 10:57:53 EDT 2012


Dana Scott has posted a beautiful summary of the history of Lambda 
calculus and recursion theory.

http://turing100.acm.org/lambda_calculus_timeline.pdf

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics,
and Computer Science M/C 249
jbaldwin at uic.edu
851 S. Morgan
Chicago IL
60607



More information about the FOM mailing list