λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] #1 Post by 082349872349872 » Sun, Jul 20, 2025, 4:15 PM UTC λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]cis.upenn.edu