λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]cis.upenn.edu4 points·082349872349872··0 commentsOpen articleSaveView on HN