Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
-
Title: Mini-course: Synthetic homotopy theory
Speaker:
Link:
-
Title: Mini-course: Computational Higher Type Theory
Speaker:
Link:
-
Title: Homotopy Type Theory in Lean
Speaker:
Link:
-
Title: The fourth homotopy group of the three-dimensional sphere
Speaker:
Link:
-
Title: The Seifert-van Kampen Theorem in Homotopy Type Theory
Speaker:
Link:
-
Title: Projective spaces in synthetic homotopy theory
Speaker:
Link:
-
Title: Mini-course: Synthetic homotopy theory
Speaker:
Link:
-
Title: Mini-course: Computational Higher Type Theory
Speaker:
Link:
-
Title: Towards a synthetic theory of (∞,1)-categories
Speaker:
Link:
-
Title: Algebraic model structures on cubical sets
Speaker:
Link:
-
Title: Complete Segal objects and univalent maps
Speaker:
Link:
-
Title: Mini-course: Homotopy-theoretic models of type theory
Speaker:
Link:
-
Title: Mini-course: Cubical Type Theory
Speaker:
Link:
-
Title: Mini-course: Homotopy-theoretic models of type theory
Speaker:
Link:
-
Title: Mini-course: Cubical Type Theory
Speaker:
Link:
-
Title: Why does Homotopy Type Theory matter?
Speaker:
Link:
-
Title: Cubical Type Theory: a constructive interpretation of the univalence axiom
Speaker:
Link:
-
Title: Cubical Sets Axiomatised in the Internal Type Theory of a Topos
Speaker:
Link:
-
Title: Categorical structures in type theory, in type theory
Speaker:
Link:
-
Title: Reducing HITs to quotients
Speaker:
Link: