Constructive Ordinal Exponentiation

Documenti analoghi

• Generalized Decidability via Brouwer Trees
  di: de Jong, Tom, et al.
  Pubblicazione: (2026)
• The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
  di: de Jong, Tom, et al.
  Pubblicazione: (2026)
• Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
  di: de Jong, Tom
  Pubblicazione: (2024)
• On Small Types in Univalent Foundations
  di: de Jong, Tom, et al.
  Pubblicazione: (2021)
• Formalizing equivalences without tears
  di: de Jong, Tom
  Pubblicazione: (2024)