Constructive Type Theory and Homotopy - Steve Awodey
GETCO 2022 / Eric Finster / Introduction to Homotopy Type TheorySee more
Univalent Foundations Seminar - Steve AwodeySee more
Constructive Notions of Ordinals in Homotopy Type Theory (TYPES 2021)See more
Steve Awodey: Type theories and polynomial monadsSee more
Intensionality, Invariance, and Univalence, Steve AwodeySee more
Natural Models of Type Theory - Steve AwodeySee more
Steve Awodey: "Model Structures from Models of HoTT"See more
Martin Escardó, Constructive mathematics in univalent type theorySee more
Computer Science ∩ Mathematics (Type Theory) - ComputerphileSee more
Homotopy Type Theory - An Introduction to Topology, Formal Logic, and HoTT #SoME3See more
