Riccardo Treglia

According to our database, Riccardo Treglia authored at least 11 papers between 2019 and 2024.

Collaborative distances:

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

2024

Monadic Intersection Types, Relationally (Extended Version).

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

CoRR, 2024

Monadic Intersection Types, Relationally.

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

Proceedings of the Programming Languages and Systems, 2024

2023

From semantics to types: The case of the imperative <i>λ</i>-calculus.

Ugo de'Liguoro, Riccardo Treglia

Theor. Comput. Sci., September, 2023

Properties of a Computational Lambda Calculus for Higher-Order Relational Queries.

Claudio Sacerdoti Coen, Riccardo Treglia

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

2022

On reduction and normalization in the computational core.

Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia

Math. Struct. Comput. Sci., August, 2022

2021

From Semantics to Types: the Case of the Imperative lambda-Calculus.

Ugo de'Liguoro, Riccardo Treglia

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Intersection Types for a Computational Lambda-Calculus with Global State.

Ugo de'Liguoro, Riccardo Treglia

CoRR, 2021

Intersection types for a λ-calculus with global store.

Ugo de'Liguoro, Riccardo Treglia

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

A Filter Model for the State Monad.

Ugo de'Liguoro, Riccardo Treglia

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

2020

The untyped computational <i>λ</i>-calculus and its intersection type discipline.

Ugo de'Liguoro, Riccardo Treglia

Theor. Comput. Sci., 2020

2019

Intersection Types for the Computational lambda-Calculus.

Ugo de'Liguoro, Riccardo Treglia

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019