λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf](cis.upenn.edu)4 points by 082349872349872 301 days ago | 0 commentsNo comments yet