Proofs are Programs

This lecture is based on the paper Propositions as Types by Philip Wadler, Professor of Theoretical Computer Science at the University of Edinburgh, aka Super Lambda Man. You can watch a recorded lecture by Prof. Wadler on this material.