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.