CURZI, GIANLUCA
CURZI, GIANLUCA
INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
A type-assignment of linear erasure and duplication
2020-01-01 Luca Roversi, Gianluca Curzi
Cyclic Implicit Complexity
2022-01-01 Curzi, Gianluca; Das, Anupam
Non-Laziness in Implicit Computational Complexity and Probabilistic -calculus
2020-06-11
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
2020-01-01 Curzi G.; Pagani M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A type-assignment of linear erasure and duplication | 2020 | Luca Roversi, Gianluca Curzi | |
| Cyclic Implicit Complexity | 2022 | Curzi, Gianluca; Das, Anupam | |
| Non-Laziness in Implicit Computational Complexity and Probabilistic -calculus | 2020 | - | |
| The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name | 2020 | Curzi G.; Pagani M. |