λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] cis.upenn.edu 4 points by 082349872349872 16 hours ago