VANONI, GABRIELE
VANONI, GABRIELE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.016 secondi).
Reasonable Space for the Lambda-Calculus, Logarithmically
2024 Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele
(Not So) Boring Abstract Machines
2023 Ugo Dal Lago; Gabriele Vanoni
Multi Types and Reasonable Space
2022 Accattoli, B; Dal Lago, U; Vanoni, G
Reasonable Space for the Lambda-Calculus, Logarithmically
2022 Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni
The (In)Efficiency of interaction
2021 Accattoli B.; Dal Lago U.; Vanoni G.
The Space of Interaction
2021 Accattoli B.; Dal Lago U.; Vanoni G.
On randomised strategies in the λ-calculus
2020 Dal Lago U.; Vanoni G.
The machinery of interaction
2020 Accattoli B.; Dal Lago U.; Vanoni G.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Reasonable Space for the Lambda-Calculus, Logarithmically | Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele | 2024-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| (Not So) Boring Abstract Machines |
Ugo Dal Lago; Gabriele Vanoni |
2023-01-01 | - | CEUR-WS | 4.01 Contributo in Atti di convegno | ictcs2023.pdf |
| Multi Types and Reasonable Space | Accattoli, B; Dal Lago, U; Vanoni, G | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | icfp2022b.pdf |
| Reasonable Space for the Lambda-Calculus, Logarithmically | Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni | 2022-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | lics2022b.pdf |
| The (In)Efficiency of interaction | Accattoli B.; Dal Lago U.; Vanoni G. | 2021-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | popl2021b.pdf |
| The Space of Interaction | Accattoli B.; Dal Lago U.; Vanoni G. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | main.pdf |
| On randomised strategies in the λ-calculus | Dal Lago U.; Vanoni G. | 2020-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| The machinery of interaction | Accattoli B.; Dal Lago U.; Vanoni G. | 2020-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | ppdp2020.pdf |