Riccardo Treglia

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Database Query Languages

Computer Algebra

Normalization Method

Top Venues

Theor. Comput. Sci.

Math. Struct. Comput. Sci.

Publications

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
Monadic Intersection Types, Relationally. ESOP (1) (2024)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
Monadic Intersection Types, Relationally (Extended Version). CoRR (2024)
Claudio Sacerdoti Coen, Riccardo Treglia
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries. ICTCS (2023)
Ugo de'Liguoro, Riccardo Treglia
-calculus. Theor. Comput. Sci. 973 (2023)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. Math. Struct. Comput. Sci. 32 (7) (2022)
Ugo de'Liguoro, Riccardo Treglia
From Semantics to Types: the Case of the Imperative lambda-Calculus. CoRR (2021)
Ugo de'Liguoro, Riccardo Treglia
Intersection types for a λ-calculus with global store. PPDP (2021)
Ugo de'Liguoro, Riccardo Treglia
Intersection Types for a Computational Lambda-Calculus with Global State. CoRR (2021)
Ugo de'Liguoro, Riccardo Treglia
A Filter Model for the State Monad. ICTCS (2021)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. CoRR (2021)
Ugo de'Liguoro, Riccardo Treglia
-calculus and its intersection type discipline. Theor. Comput. Sci. 846 (2020)
Ugo de'Liguoro, Riccardo Treglia
Intersection Types for the Computational lambda-Calculus. CoRR (2019)
Ugo de'Liguoro, Riccardo Treglia
Intersection Types for the Computational lambda-Calculus. ICTCS (2019)