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

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..... ??? Very kind thanks, Vasili