Kripke Joyal Semantics For Homotopy Type Theory

Date:

I gave this talk in the summer of 2020 at Ghent–Leeds Virtual Logic Seminar. The slides in below are the updated version of my talk about the same work at CATS seminars at ILLC in Amsterdam in March 2021.

Slides: Kripke-Joyal Semantics For Homotopy Type Theory

Slides: Kripke-Joyal Semantics For Homotopy Type Theory