4λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (opens in new tab)(cis.upenn.edu)40823498723498728mo ago0