[Haskell-cafe] Philip Wadler video on Howard-Curry Correspondence
josef.svenningsson at gmail.com
Thu Nov 27 07:09:41 EST 2008
2008/11/27 Galchin, Vasili <vigalchin at gmail.com>:
> I am reading re-reading Prof. Wadler paper
> Proofs are Programs: 19th Century Logic and 21st Century Computing
> but also want to re-read watch his video on same subject.....
Is it this talk you're after?
More information about the Haskell-Cafe