Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
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 untyped computational λ-calculus and its intersection type discipline
2020-01-01 de'Liguoro, Ugo; Treglia, Riccardo
Evaluation and convergence in the computational calculus
2021-01-01 Claudia Faggian - Giulio Guerrieri - Riccardo Treglia
Intersection Types for a Computational lambda-Calculus with Global State
2021-01-01 Ugo de'Liguoro - Riccardo Treglia
From Semantics to Types: the Case of the Imperative lambda-Calculus
2021-01-01 Ugo de' Liguoro, Riccardo Treglia
Computational calculus: bridging reduction and evaluation
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
Intersection types for a λ-calculus with global store
2021-01-01 de'Liguoro, Ugo; Treglia, Riccardo
The computational core: reduction theory and intersection type discipline
2022-01-01 Treglia, Riccardo
From semantics to types: The case of the imperative λ-calculus
2023-01-01 de'Liguoro, Ugo; Treglia, Riccardo
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile