Dana S. Scott: Lambda Calculus, Then and Now | Hacker News Reader