BrighterTube

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions18.8K subscribers

About this video

Advanced · Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Teaches Curry-Howard correspondence relating propositions to types, a foundational concept in programming language theory. Lecture on mathematical logic and its computational implications.

A 57-minute video from Erlang Solutions: “Philip Wadler - Propositions as Types (Lambda Days 2016)”.

Programming & CSPhilosophy

Video by Erlang Solutions, played through YouTube's embedded player.

Part of Lambda Days 2016