Type Theory Courses
Centre International de Rencontres Mathématiques via YouTube New Modal Operators for Constructive Mathematics
Centre International de Rencontres Mathématiques via YouTube From Axioms to Synthetic Inference Rules via Focusing
Centre International de Rencontres Mathématiques via YouTube Compact Ordinals in Homotopy Type Theory and Univalent Foundations - Lecture
Centre International de Rencontres Mathématiques via YouTube Recursive Inequalities in Applied Proof Theory
Centre International de Rencontres Mathématiques via YouTube On a Decomposition of WKL
Centre International de Rencontres Mathématiques via YouTube DOT: Foundation of Scala 3 - Dependent Object Types Calculus
NashKnolX via YouTube Demystify Python Types for PEP 729
EuroPython Conference via YouTube Examples of Easy Dependently Typed Programming in Idris
Code Sync via YouTube Generalizing Payment as Types - Haskell-Based Specification for Continuous Money Transfer
Code Sync via YouTube