Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research andrelated topics.
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More