Constructing (Co)inductive Types via Large Sizes

Documenti analoghi

• A topological reading of inductive and coinductive definitions in Dependent Type Theory
  di: Sabelli, Pietro
  Pubblicazione: (2024)
• An Analysis of Tennenbaum's Theorem in Constructive Type Theory
  di: Hermes, Marc, et al.
  Pubblicazione: (2023)
• Comparing Session Type Systems derived from Linear Logic
  di: Heuvel, Bas van den, et al.
  Pubblicazione: (2024)
• The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
  di: Oda, Yukihiro, et al.
  Pubblicazione: (2021)
• Initial Algebras of Domains via Quotient Inductive-Inductive Types
  di: van Collem, Simcha, et al.
  Pubblicazione: (2025)