Kripke Joyal Semantics For Homotopy Type TheoryDate: April 09, 2022 Slides Share on Twitter LinkedIn Previous Next