Philip Wadler - Propositions as Types (Lambda Days 2016)

Why it was recommended

This[0] is an incredibly awesome lecture where Phil Wadler takes us on a whirlwind tour of computer science.

Strong recommendationvishnugupta · Original2021-05

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. It is for someone who already knows the basic terms and wants the next step.

Video details

Channel

Erlang Solutions

Length

56 min 58 sec

Year

2016

More in this topic

• Brian Beckman: Don't fear the Monad
• 28c3: The Science of Insecurity
• "Propositions as Types" by Philip Wadler
• Math's Fundamental Flaw
• The Banach–Tarski Paradox
• The Future of Mathematics?