List types for resource aware languages: an implicit name approach

Documenti analoghi

• On Asynchronous Multiparty Session Types for Federated Learning
  di: Prokić, Ivan, et al.
  Pubblicazione: (2025)
• Strong normalization through idempotent intersection types: a new syntactical approach
  di: Barenbaum, Pablo, et al.
  Pubblicazione: (2025)
• Homotopy type theory as a language for diagrams of $\infty$-logoses
  di: Uemura, Taichi
  Pubblicazione: (2022)
• A linear proof language for second-order intuitionistic linear logic
  di: Díaz-Caro, Alejandro, et al.
  Pubblicazione: (2023)
• A proof theory of (omega-)context-free languages, via non-wellfounded proofs
  di: Das, Anupam, et al.
  Pubblicazione: (2024)