3 ms·Timeline for Logic, λ-Calculus, and Programming Language Theory [pdf]2 points by adamnemecek 7y ago