Philip Wadler - Propositions as Types (Lambda Days 2016)

Thanks! Share it with your friends!

You disliked this video. Thanks for the feedback!

Added by admin
Slides and more info:
Alternative recording:

The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to be remarkably robust, inspiring the design of theorem provers and programming languages, and continuing to influence the forefronts of computing. Propositions as Types has many names and many origins, and is a notion with depth, breadth, and mystery. Learn why functional programming is (and is not) the universal programming language.
Lambda Days 2016

Post your comment