Title: Modal Homotopy Type Theory
Subjects: Mathematics, Homotopy theory, Philosophy, Homotopietheorie, Mathematik, Logik