Documenti analoghi

• Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
  di: Spadetto, Matteo
  Pubblicazione: (2023)
• Delooping presented groups in homotopy type theory
  di: Champin, Camil, et al.
  Pubblicazione: (2024)
• The $\infty$-category of $\infty$-categories in simplicial type theory
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2026)
• Homotopy type theory as a language for diagrams of $\infty$-logoses
  di: Uemura, Taichi
  Pubblicazione: (2022)
• Formalizing two-level type theory with cofibrant exo-nat
  di: Uskuplu, Elif
  Pubblicazione: (2023)