#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
24/11/2024
0:00
1:21:41
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
Links
Mais episódios de "Type Theory Forall"
Não percas um episódio de “Type Theory Forall” e subscrevê-lo na aplicação GetPodcast.