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

[Josef Svenningsson]

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?
http://video.google.com/videoplay?docid=-4167170843018186532&ei=sI0uSZT7Faf22gKd9NTqDQ&q=wadler+philip

Cheers,

Josef