1:03:41Philip Wadler: Church's CoincidencesprincetonacademicsRecommended by 2 • 14 years agoHidden gem
47:24Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930sprincetonacademicsRecommended by 1 • 14 years ago
1:06:10Barbara Liskov: Programming the Turing MachineprincetonacademicsRecommended by 2 • 14 years agoHidden gem
