Kripke Joyal Semantics For Homotopy Type Theory

Date: April 09, 2022