[Haskell-cafe] Philip Wadler video on Howard-Curry Correspondence ???

Josef Svenningsson josef.svenningsson at gmail.com
Thu Nov 27 07:09:41 EST 2008

2008/11/27 Galchin, Vasili <vigalchin at gmail.com>:
> Hello,
>     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 mailing list