Cast List: #45 What is Type Theory and What Properties we Should Care About

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

Type Theory Forall

Episode: #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
Website: Type Theory Forall
Feed URL: https://www.typetheoryforall.com/episodes.mp3.rss
Duration: 01:21:41
Published: 2024-11-24 13:45

In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why.

If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall

#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot

Type Theory Forall

Links

Next Episodes

#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro @ Type Theory Forall

#43 PL in the Industry and Summer Schools - Patrick and Eric @ Type Theory Forall

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi @ Type Theory Forall

#41 The Value of PL (and) Education - Satnam Singh @ Type Theory Forall

#40 Secure Voting - Joe Kiniry @ Type Theory Forall