Kripke Joyal Semantics For Homotopy Type Theory

Date:

Slides: Kripke-Joyal Semantics For Homotopy Type Theory