4 ms·
Howard on Curry-Howard
- j2kun 12y agoWilliam Howard is an emeritus professor at my university. He is quite old but he still attends the Friday department tea and appears to actively discuss mathematics. I have yet to build up the courage to talk to him, and I wonder whether he knows just how widely his work is discussed, even if it's usualy just at a high level.
- gone35 12y agoWow. The essay they keep referring to throughout the exchange --Wadler's "Proposition and Types" [1]-- is hands down the best exposition of the Curry-Howard correspondence I've seen so far: deep but thoroughly readable (Howard wasn't just being nice!). Even if you already know this stuff, I seriously recommend reading it (this one, or any of his other expository writings on this topic [2]). His perspective is formidable. [1] http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-... [2] http://homepages.inf.ed.ac.uk/wadler/topics/history.html http://homepages.inf.ed.ac.uk/wadler/topics/history.html