TREGLIA, RICCARDO
TREGLIA, RICCARDO
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.001 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
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Computational calculus: bridging reduction and evaluation | 2021 | Claudia Faggian - Giulio Guerrieri - Riccardo Treglia | |
| Evaluation and convergence in the computational calculus | 2021 | Claudia Faggian - Giulio Guerrieri - Riccardo Treglia | |
| Evaluation in the computational calculus is non-confluent | 2021 | Claudia Faggian - Giulio Guerrieri - Riccardo Treglia | |
| From Semantics to Types: the Case of the Imperative lambda-Calculus | 2021 | Ugo de' Liguoro, Riccardo Treglia | |
| Intersection Types for a Computational lambda-Calculus with Global State | 2021 | Ugo de'Liguoro - Riccardo Treglia | |
| Intersection types for a λ-calculus with global store | 2021 | de'Liguoro, Ugo; Treglia, Riccardo | |
| Intersection Types for the Computational lambda-Calculus | 2019 | Ugo de'Liguoro - Riccardo Treglia | |
| On the reduction of the type-free computational λ-calculus | 2020 | Ugo de'Liguoro - Riccardo Treglia |