A Realizability Interpretation for Intersection and Union Types. - Daniel J. Dougherty; Ugo de'Liguoro; Luigi Liquori; Claude Stolze (APLAS, 2016)

A Decidable Subtyping Logic for Intersection and Union Types. - Luigi Liquori; Claude Stolze (TTCS, 2017)

The Delta-Framework. - Furio Honsell; Luigi Liquori; Claude Stolze; Ivan Scagnetto (FSTTCS, 2018)

The Delta-calculus: Syntax and Types. - Luigi Liquori; Claude Stolze (FSCD, 2019)

Combining union, intersection and dependent types in an explicitly typed lambda-calculus. (Types union, intersection, et dépendants dans le lambda-calcul explicitement typé). - Claude Stolze (2019)

A Type Checker for a Logical Framework with Union and Intersection Types (System Description). - Claude Stolze; Luigi Liquori (FSCD, 2020)

A Type Checker for a Logical Framework with Union and Intersection Types. - Luigi Liquori; Claude Stolze (CoRR, 2020)

Composable Partial Multiparty Session Types. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (FACS, 2021)

Composable partial multiparty session types for open systems. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (Softw. Syst. Model., 2023)