news.volyx.in

Timeline for Logic, λ-Calculus, and Programming Language Theory (2012) [pdf] (fm.csl.sri.com)

200 points by adamnemecek · 2603 days ago · 34 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.