Keynote: Propositions as Types - Philip Wadler
"Propositions as Types" by Philip Wadler
ICFP 2012. Philip Wadler: Propositions as Sessions.
Michael Bernstein on Propositions as Types
Propositions as types
Philip Wadler – Propositions as Types
ICFP 2014: Depending on Types - Stephanie Weirich
Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021
ICFP 2012 Monday keynote. Conor McBride: Agda-curious?
Philip Wadler gives a guest lecture Propositions-as-types. 2021 03 26
SICSA PhD Conference 2012 - Keynote: Philip Wadler
Stephen Pimentel - Propositions as Types for Beginners in Haskell - λC 2018
ICCSW14 Keynote Philip Wadler
Keynote: Why Functional Programming Matters - John Hughes, Mary Sheeran (Lambda Days 2017)
2. Propositions as Types (Martin-Löf)
Talk on Propositions as Types, Philip Wadler's paper. Part 1 by @aaronmblevin
3 Things that Make a MEANINGFUL Vision | Simon Sinek
13. SFI / Propositions as Types / Philip Wadler
Philip Wadler - Update on PLFA
What investors ACTUALLY want to see in your PITCH DECK.