Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions · 2 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.
Why HN recommends it: Recommended as an exceptional whirlwind tour of the foundations of computer science.
“This is a very good lecture series[4].” Read on HN ↗