Philip Wadler - Propositions as Types (Lambda Days 2016)

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

Erlang Solutions

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

Recommended as an exceptional whirlwind tour of the foundations of computer science.

3 Hacker News mentions · 2016–2021

Topics

Logic & formal methods
Programming language design
Functional programming

Watch on YouTube

Explore more videos