ACCATTOLI, BENIAMINO
ACCATTOLI, BENIAMINO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Reasonable Space for the Lambda-Calculus, Logarithmically
2024 Accattoli, Beniamino; Lago, Ugo Dal; Vanoni, Gabriele
Multi Types and Reasonable Space
2022 Accattoli, B; Dal Lago, U; Vanoni, G
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.
The machinery of interaction
2020 Accattoli B.; Dal Lago U.; Vanoni G.
(Leftmost-outermost) beta reduction is invariant, indeed
2016 Accattoli, Beniamino; dal Lago, Ugo
On the relative usefulness of fireballs
2015 Accattoli, Beniamino; SACERDOTI COEN, Claudio
Beta reduction is invariant, indeed
2014 Accattoli, Beniamino; Dal Lago, Ugo
On the value of variables
2014 Accattoli, B.; Sacerdoti Coen, C.
| 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 | - |
| 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 |
| 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 |
| 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 |
| (Leftmost-outermost) beta reduction is invariant, indeed | Accattoli, Beniamino; dal Lago, Ugo | 2016-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | lmcs2016.pdf |
| On the relative usefulness of fireballs | Accattoli, Beniamino; SACERDOTI COEN, Claudio | 2015-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | Accattoli,SacerdotiCoen-OntheUsefulnessofFireballs.pdf |
| Beta reduction is invariant, indeed | Accattoli, Beniamino; Dal Lago, Ugo | 2014-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| On the value of variables | Accattoli, B.; Sacerdoti Coen, C. | 2014-01-01 | - | Springer Berlin Heidelberg | 4.01 Contributo in Atti di convegno | - |