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

[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.....

???


Very kind thanks,

Vasili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20081126/f90d0bcb/attachment-0001.htm