Philip Wadler: Propositions as Types

Erlang Solutions · Talk · YouTube title: Philip Wadler - Propositions as Types (Lambda Days 2016)

Why it's here

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

What it covers

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