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

Galchin, Vasili vigalchin at gmail.com
Thu Nov 27 00:48:19 EST 2008


    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,

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

More information about the Haskell-Cafe mailing list