λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] | Dark Hacker News