# Proofs are Programs Here is some further reading: * [*Propositions as types*][pat], Phil Wadler. * [Recorded lecture by Wadler][lect]. * [*Lecture notes on the Curry–Howard isomorphism*][ch]. (A book-length treatment!) [pat]: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf [lect]: https://www.youtube.com/watch?v=aeRVdYN6fE8 [ch]: http://disi.unitn.it/~bernardi/RSISE11/Papers/curry-howard.pdf