# 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.