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

2008/11/27 Galchin, Vasili :

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