Natural Models of Type Theory - Steve Awodey
(Zwanziger) - Natural Model Semantics for Comonadic and Adjoint Modal Type Theory
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
A Step towards Non-Presentable Models of Homotopy Type Theory - Nima Rasekh
GETCO 2022 / Eric Finster / Introduction to Homotopy Type Theory
3 01 A Functional Programmer's Guide to Homotopy Type Theory
Steve Awodey: Type theories and polynomial monads
Constructive Type Theory and Homotopy - Steve Awodey
Thorsten Altenkirch, Towards higher models and syntax of type theory
Univalent Foundations Seminar - Steve Awodey
Polynomial Functors @ Topos (Friday)
Anders Mörtberg, Unifying cubical models of homotopy type theory
Norihiro Yamada, Game semantics of homotopy type theory
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
David Jaz Myers: Homotopy type theory for doing category theory
Taichi Uemura, ∞-type theories and internal language conjectures
Michael Shulman: "Two-dimensional semantics of homotopy type theory"
Dana Stewart Scott - Enumeration Operators, Probability, Type Theory
Lawrence Paulson: "Formalising Contemporary Mathematics in Simple Type Theory"
David McAllester | Type Theory from the Perspective of Artificial Intelligence