λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]

4 points| 082349872349872 | 7 months ago |cis.upenn.edu