Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang SolutionsYouTube ↗
Archive guide
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.