Philip Wadler - Propositions as Types (Lambda Days 2016)

档案导读

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.