# 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