Imagen de Portada

Principal Typing for Intersection Types, Forty-Five Years Later

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Pautasso, Daniele, Della Rocca, Simona Ronchi
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Strong normalization through idempotent intersection types: a new syntactical approach
por: Barenbaum, Pablo, et al.
Publicado: (2025)

Intersection Types via Finite-Set Declarations
por: Kamareddine, Fairouz, et al.
Publicado: (2024)

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
por: Breuvart, Flavien, et al.
Publicado: (2024)

Sensible Intersection Type Theories
por: Dezani-Ciancaglini, Mariangiola, et al.
Publicado: (2026)

On Asynchronous Multiparty Session Types for Federated Learning
por: Prokić, Ivan, et al.
Publicado: (2025)

Hybrid Intersection Types for PCF (Extended Version)
por: Barenbaum, Pablo, et al.
Publicado: (2024)

Monadic Intersection Types, Relationally (Extended Version)
por: Gavazzo, Francesco, et al.
Publicado: (2024)

On Small Types in Univalent Foundations
por: de Jong, Tom, et al.
Publicado: (2021)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
por: Mannucci, Mirco A., et al.
Publicado: (2026)

Primitive Recursive Dependent Type Theory
por: Buchholtz, Ulrik, et al.
Publicado: (2024)

Principal Types as Partial Involutions
por: Honsell, Furio, et al.
Publicado: (2024)

Basis-Sensitive Quantum Typing via Realisability
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
por: Hermes, Marc, et al.
Publicado: (2023)

Non-Derivability Results in Polymorphic Dependent Type Theory
por: Geuvers, Herman
Publicado: (2026)

A Naive Encoding of Russell's Paradox in Type Theory
por: Qu, Zhuoyuan
Publicado: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
por: Gratzer, Daniel, et al.
Publicado: (2024)

A topological reading of inductive and coinductive definitions in Dependent Type Theory
por: Sabelli, Pietro
Publicado: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
por: Takahashi, Yuta
Publicado: (2024)

Groupoidal Realizability for Intensional Type Theory
por: Speight, Sam
Publicado: (2024)

Impredicative Encodings of (Higher) Inductive Types
por: Awodey, Steve, et al.
Publicado: (2018)

Coslice Colimits in Homotopy Type Theory
por: Hart, Perry, et al.
Publicado: (2024)

Regular Typed Unification
por: Barbosa, João, et al.
Publicado: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
por: Mannucci, Mirco A., et al.
Publicado: (2025)

Open Horn Type Theory
por: Poernomo, Iman
Publicado: (2025)

The Transpension Type: Technical Report
por: Nuyts, Andreas
Publicado: (2020)

(Pointed) Univalence in Universe Category Models of Type Theory
por: Kapulkin, Chris, et al.
Publicado: (2025)

Four Paradoxes and a Proof Assistant: Burali-Forti, Diaconescu, Reynolds, and Hurkens in the coq-paradoxes library
por: Alonso, Bernardo
Publicado: (2026)

Typed Non-determinism in Concurrent Calculi: The Eager Way
por: Heuvel, Bas van den, et al.
Publicado: (2024)

Cubical Type Theoretic Navya-Nyāya
por: Panday, Mrityunjoy, et al.
Publicado: (2026)

Are Dependent Types in Set Theory Feasible?
por: Yang, Yunsong, et al.
Publicado: (2026)

Coverage Types for Resource-Based Policies
por: Passarelli, Angelo, et al.
Publicado: (2025)

Quantitative Types for the Functional Machine Calculus
por: Heijltjes, Willem
Publicado: (2025)

Automating Boundary Filling in Cubical Type Theories
por: Doré, Maximilian, et al.
Publicado: (2024)

Nominal Type Theory by Nullary Internal Parametricity
por: Van Muylder, Antoine, et al.
Publicado: (2025)

A Judgmental Construction of Directed Type Theory
por: Neumann, Jacob
Publicado: (2025)

Knowledge Reasoning Involving Four Types of Syllogisms
por: Wei, Long, et al.
Publicado: (2025)

The Groupoid-Syntax of Type Theory is a Set
por: Altenkirch, Thorsten, et al.
Publicado: (2025)

FTMPST: Fault-Tolerant Multiparty Session Types
por: Peters, Kirstin, et al.
Publicado: (2022)

Type Isomorphisms for Multiplicative-Additive Linear Logic
por: Di Guardia, Rémi, et al.
Publicado: (2024)

List types for resource aware languages: an implicit name approach
por: Ghilezan, Silvia, et al.
Publicado: (2021)