Get started
Author

Riccardo Treglia

Observed names: Treglia R., Treglia, Riccardo
ORCID: 0000-0002-9731-1248
Observed ORCID: 0000-0002-9731-1248
OpenAlex ID: A5035105483
On reduction and normalization in the computational core
2022 · Claudia Faggian, Giulio Guerrieri, et al. · Mathematical Structures in Computer Science · 13
PDF
Monadic Intersection Types, Relationally
2024 · Francesco Gavazzo, Riccardo Treglia, et al. · Lecture notes in computer science · 12
PDF
The untyped computational λ-calculus and its intersection type discipline
2020 · Ugo de'Liguoro, Riccardo Treglia · Theoretical Computer Science · 12
Intersection types for a λ-calculus with global store
2021 · Ugo de'Liguoro, Riccardo Treglia · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 11
PDF
From semantics to types: The case of the imperative λ-calculus
2023 · Ugo de'Liguoro, Riccardo Treglia · Theoretical Computer Science · 10
Monadic Intersection Types, Relationally, and Ordered
2025 · Zeinab Galal, Francesco Gavazzo, et al. · ACM Transactions on Programming Languages and Systems · 6
PDF
Intersection Types for the Computational lambda-Calculus
2019 · de'Liguoro, Ugo, Treglia, Riccardo · arXiv (Cornell University) · 4
PDF
Intersection Types for a Computational Lambda-Calculus with Global State
2025 · Ugo de'Liguoro, Riccardo Treglia · Fundamenta Informaticae · 3
PDF
From Semantics to Types: the Case of the Imperative lambda-Calculus
2021 · Ugo de'Liguoro, Riccardo Treglia · Electronic Proceedings in Theoretical Computer Science · 1
The computational core: reduction theory and intersection type discipline
2022 · Treglia, Riccardo · Institutional Research Information System University of Turin (University of Turin)
PDF
Evaluation and convergence in the computational calculus
2021 · Claudia Faggian, Giulio Guerrieri, et al. · HAL
PDF
Computational calculus: bridging reduction and evaluation
2021 · Claudia Faggian, Giulio Guerrieri, et al. · Institutional Research Information System University of Turin (University of Turin)
PDF
Evaluation in the computational calculus is non-confluent
2021 · Claudia Faggian, Giulio Guerrieri, et al. · Institutional Research Information System University of Turin (University of Turin)
PDF
A Filter Model for the State Monad (short paper)
2021 · De'liguoro U., Treglia R. · Institutional Research Information System University of Turin (University of Turin)
PDF
On the reduction of the type-free computational λ-calculus
2020 · Ugo de’ Liguoro, Riccardo Treglia
Type Assignment for the Computational lambda-Calculus
2019 · Ugo de’Liguoro, Riccardo Treglia · arXiv (Cornell University)
Works count: 20
Citation count: 72
H-index: 6
I10-index: 5
Year
Topic
Type