SLIDES FROM RECENT TALKS


A Higher Structure Identity Principle
Model Theory in the Univalent Foundations
Homotopy Model Theory
A Syntactic Characterization of Morita Equivalence
Univalent Foundations and Its Logic
Intuitionism, Type Theory, and Foundations