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