F fm.csl.sri.com Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf] 200 points adamnemecek 7 years ago 34 comments
