"Propositions as Types" by Philip Wadler Published 2015-09-26 Download video MP4 360p Recommendations 45:50 "The Mess We're In" by Joe Armstrong 41:40 "Categories for the Working Hacker" by Philip Wadler 38:36 "A Little Taste of Dependent Types" by David Christiansen 56:58 Philip Wadler - Propositions as Types (Lambda Days 2016) 18:02 Automated Mathematical Proofs - Computerphile 17:46 Propositions as Types - Computerphile 19:24 The Language of Categories | Category Theory and Why We Care 1.1 15:56 Computer Science ∩ Mathematics (Type Theory) - Computerphile 1:30:37 Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK) 06:34 When Computers Write Proofs, What's the Point of Mathematicians? 50:52 Category Theory for the Working Hacker by Philip Wadler 29:10 What are dependent types? aka the Calculus of Construction (as a type wizard) 40:39 Category Theory in Life - Eugenia Cheng 23:40 The Hardest Problem in Type Theory - Computerphile 1:14:48 The Future of Mathematics? 52:29 "I See What You Mean" by Peter Alvaro Similar videos 1:09:27 13. SFI / Propositions as Types / Philip Wadler 1:39:09 Philip Wadler gives a guest lecture Propositions-as-types. 2021 03 26 21:08 ICFP 2012. Philip Wadler: Propositions as Sessions. 42:43 Propositions as Types - Twitch safe version 1:01:20 Paul Snively on Propositions as Types 1:12:12 Stanford Seminar - Propositions as Types 1:15:48 Michael Bernstein on Propositions as Types 1:20:07 Stanford Seminar Propositions as Types - The Best Documentary Ever 53:06 Keynote: Programming Languages in Agda = Programming (...) - Philip Wadler | Lambda Days 2021 43:46 Talk on Propositions as Types, Philip Wadler's paper. Part 2 @aaronmblevin talk @IntersectionsKW More results