Intersection Types for the Computational lambda-Calculus. - Ugo de'Liguoro; Riccardo Treglia (ICTCS, 2019)

The untyped computational λ-calculus and its intersection type discipline. - Ugo de'Liguoro; Riccardo Treglia (Theor. Comput. Sci., 2020)

A Filter Model for the State Monad. - Ugo de'Liguoro; Riccardo Treglia (ICTCS, 2021)

Intersection types for a λ-calculus with global store. - Ugo de'Liguoro; Riccardo Treglia (PPDP, 2021)

Intersection Types for a Computational Lambda-Calculus with Global State. - Ugo de'Liguoro; Riccardo Treglia (CoRR, 2021)

From Semantics to Types: the Case of the Imperative lambda-Calculus. - Ugo de'Liguoro; Riccardo Treglia (MFPS, 2021)

On reduction and normalization in the computational core. - Claudia Faggian; Giulio Guerrieri; Ugo de'Liguoro; Riccardo Treglia (Math. Struct. Comput. Sci., 2022)

Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. - Claudio Sacerdoti Coen; Riccardo Treglia (ICTCS, 2023)

From semantics to types: The case of the imperative λ-calculus. - Ugo de'Liguoro; Riccardo Treglia (Theor. Comput. Sci., 2023)

AI Computational and Ethical Awareness in Italian High Schools: A Series of Workshops (short paper). - Silvia Benevenuta; Riccardo Treglia (edu4AI@AI*IA, 2024)

Monadic Intersection Types, Relationally. - Francesco Gavazzo; Riccardo Treglia; Gabriele Vanoni (ESOP (1), 2024)

Monadic Intersection Types, Relationally (Extended Version). - Francesco Gavazzo; Riccardo Treglia; Gabriele Vanoni (CoRR, 2024)