TREGLIA, RICCARDO
TREGLIA, RICCARDO
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.025 secondi).
Computational calculus: bridging reduction and evaluation
2021-01-01 Claudia Faggian - Giulio Guerrieri - Riccardo Treglia
Evaluation and convergence in the computational calculus
2021-01-01 Claudia Faggian - Giulio Guerrieri - Riccardo Treglia
Evaluation in the computational calculus is non-confluent
2021-01-01 Claudia Faggian - Giulio Guerrieri - Riccardo Treglia
From Semantics to Types: the Case of the Imperative lambda-Calculus
2021-01-01 Ugo de' Liguoro, Riccardo Treglia
From semantics to types: The case of the imperative λ-calculus
2023-01-01 de'Liguoro, Ugo; Treglia, Riccardo
Intersection Types for a Computational lambda-Calculus with Global State
2021-01-01 Ugo de'Liguoro - Riccardo Treglia
Intersection types for a λ-calculus with global store
2021-01-01 de'Liguoro, Ugo; Treglia, Riccardo
Intersection Types for the Computational lambda-Calculus
2019-01-01 Ugo de'Liguoro - Riccardo Treglia
On the reduction of the type-free computational λ-calculus
2020-01-01 Ugo de'Liguoro - Riccardo Treglia
The computational core: reduction theory and intersection type discipline
2022-10-06
The computational core: reduction theory and intersection type discipline
2022-01-01 Treglia, Riccardo
The untyped computational λ-calculus and its intersection type discipline
2020-01-01 de'Liguoro, Ugo; Treglia, Riccardo