λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf] (cis.upenn.edu) 4 points by 082349872349872 11mo ago ↗ HN
0 comments
[ 5.9 ms ] story [ 12.1 ms ] threadNo comments yet.