# 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