# Proofs are Programs This lecture is based on the paper [*Propositions as types*][pat] by Philip Wadler, Professor of Theoretical Computer Science at the University of Edinburgh, aka [Super Lambda Man][super]. You can watch a [recorded lecture by Prof. Wadler][lect] on this material. [pat]: http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf [lect]: https://www.youtube.com/watch?v=aeRVdYN6fE8 [super]: https://www.youtube.com/watch?v=TL5AeX4bGn4