Riccardo Treglia

17 papers B 1C 1Journal 9Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Empowering Primary School Teachers with AI Literacy: The Role of Communities of Practice.
edu4AI@ECAI
Riccardo Treglia, Silvia Benevenuta
2025 J jnl
Intersection Types for a Computational Lambda-Calculus with Global State.
Fundam. Informaticae
Ugo de'Liguoro, Riccardo Treglia
2025 J jnl
Monadic Intersection Types, Relationally, and Ordered.
ACM Trans. Program. Lang. Syst.
Zeinab Galal, Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 — conf
AI Computational and Ethical Awareness in Italian High Schools: A Series of Workshops (short paper).
edu4AI@AI*IA
Silvia Benevenuta, Riccardo Treglia
2024 J jnl
Monadic Intersection Types, Relationally (Extended Version).
CoRR
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2024 — conf
Monadic Intersection Types, Relationally.
ESOP (1)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
2023 J jnl
From semantics to types: The case of the imperative
Theor. Comput. Sci.
Ugo de'Liguoro, Riccardo Treglia
2023 — conf
Properties of a Computational Lambda Calculus for Higher-Order Relational Queries.
ICTCS
Claudio Sacerdoti Coen, Riccardo Treglia
2022 J jnl
On reduction and normalization in the computational core.
Math. Struct. Comput. Sci.
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2021 — conf
A Filter Model for the State Monad.
ICTCS
Ugo de'Liguoro, Riccardo Treglia
2021 B conf
From Semantics to Types: the Case of the Imperative lambda-Calculus.
MFPS
Ugo de'Liguoro, Riccardo Treglia
2021 J jnl
Intersection Types for a Computational Lambda-Calculus with Global State.
CoRR
Ugo de'Liguoro, Riccardo Treglia
2021 C conf
Intersection types for a λ-calculus with global store.
PPDP
Ugo de'Liguoro, Riccardo Treglia
2021 J jnl
On reduction and normalization in the computational core.
CoRR
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
2020 J jnl
The untyped computational
Theor. Comput. Sci.
Ugo de'Liguoro, Riccardo Treglia
2019 — conf
Intersection Types for the Computational lambda-Calculus.
ICTCS
Ugo de'Liguoro, Riccardo Treglia
2019 J jnl
Intersection Types for the Computational lambda-Calculus.
CoRR
Ugo de'Liguoro, Riccardo Treglia