Hacker News new | ask | show | jobs
λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (cis.upenn.edu)
4 points by 082349872349872 337 days ago