Timeline.pagesA Timeline for Logic, λ-Calculus, and Programming Language Theory Dana S. Scott University Professor Emeritus Carnegie Mellon University Visiting Scholar University of California, Berkeley dana.scott@cs.cmu.edu Taken from talks prepared for: TURING CENTENNIAL CELEBRATION Princeton University, May 10-12, 2012 ACM TURING CENTENARY CELEBRATION San Francisco, June 15-16, 2012 1 1870s Begriffsschrift F
