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