Proof Theory Courses
Hausdorff Center for Mathematics via YouTube Structural Rules and Algebraic Properties of Intersection Types
Hausdorff Center for Mathematics via YouTube Inductive Definitions, Predicativity, and the Mahlo Universe
Hausdorff Center for Mathematics via YouTube A Gentle Introduction to Template Games and Linear Logic
Institut des Hautes Etudes Scientifiques (IHES) via YouTube An Introduction to Mathematical Logic
NCCR SwissMAP via YouTube An Introduction to Differential Linear Logic
Centre International de Rencontres Mathématiques via YouTube From Axioms to Synthetic Inference Rules via Focusing
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 Infinitary Combinatorics and Finitary Arithmetic
BIMSA via YouTube