Claude Stolze

According to our database, Claude Stolze authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Composable partial multiparty session types for open systems.

Claude Stolze, Marino Miculan, Pietro Di Gianantonio

Softw. Syst. Model., April, 2023

2021

Composable Partial Multiparty Session Types.

Claude Stolze, Marino Miculan, Pietro Di Gianantonio

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

A Type Checker for a Logical Framework with Union and Intersection Types.

Luigi Liquori, Claude Stolze

CoRR, 2020

A Type Checker for a Logical Framework with Union and Intersection Types (System Description).

Claude Stolze, Luigi Liquori

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

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

PhD thesis, 2019

The Delta-calculus: Syntax and Types.

Luigi Liquori, Claude Stolze

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

The Delta-Framework.

Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

A Decidable Subtyping Logic for Intersection and Union Types.

Luigi Liquori, Claude Stolze

Proceedings of the Topics in Theoretical Computer Science, 2017

2016

A Realizability Interpretation for Intersection and Union Types.

Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016