Ugo de'Liguoro
Università degli Studi di Torino
H-index: 19
Europe-Italy
Top articles of Ugo de'Liguoro
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Open compliance in multiparty sessions | Franco Barbanera Mariangiola Dezani-Ciancaglini Ugo De’Liguoro | 2022/11/2 | |
On reduction and normalization in the computational core | Mathematical Structures in Computer Science | Claudia Faggian Giulio Guerrieri Ugo De’Liguoro Riccardo Treglia | 2022/8 |
Intersection types for a computational lambda-calculus with global state | arXiv preprint arXiv:2104.01358 | Ugo de'Liguoro Riccardo Treglia | 2021/4/3 |
A Filter Model for the State Monad (short paper) | Ugo de’Liguoro Riccardo Treglia | 2021 | |
From semantics to types: the case of the imperative lambda-calculus | arXiv preprint arXiv:2112.14053 | Ugo de'Liguoro Riccardo Treglia | 2021/12/28 |
LIPIcs, Volume 188, TYPES 2020, Complete Volume | Ugo de'Liguoro Stefano Berardi Thorsten Altenkirch | 2021 | |
Intersection types for a λ-calculus with global store | Ugo De'Liguoro Riccardo Treglia | 2021/9/6 | |
26th International Conference on Types for Proofs and Programs | Ugo de’Liguoro Stefano Berardi Thorsten Altenkirch | 2021/6 | |
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later | Franco Barbanera Ugo De'Liguoro | 2020/9/8 | |
On the reduction of the type-free computational λ-calculus | Ugo DE'LIGUORO Riccardo Treglia | 2020 | |
The untyped computational λ-calculus and its intersection type discipline | Theoretical Computer Science | Ugo De'Liguoro Riccardo Treglia | 2020/12/18 |
Towards refinable choreographies | arXiv preprint arXiv:2009.07991 | Ugo De'Liguoro Hernán Melgratti Emilio Tuosto | 2020/9/17 |