added link to Scott's history of the lambda calculus