Unifying cubical and multimodal type theory

Documenti analoghi

• A denotationally-based program logic for higher-order store
  di: Aagaard, Frederik Lerbjerg, et al.
  Pubblicazione: (2023)
• Normalization for multimodal type theory
  di: Gratzer, Daniel
  Pubblicazione: (2023)
• Controlling unfolding in type theory
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2022)
• The $\infty$-category of $\infty$-categories in simplicial type theory
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2026)
• The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
  di: Gratzer, Daniel, et al.
  Pubblicazione: (2024)