ACCATTOLI, BENIAMINO

ACCATTOLI, BENIAMINO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.012 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
(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
Beta reduction is invariant, indeed Accattoli, Beniamino; Dal Lago, Ugo 2014-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno -
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
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
On the value of variables Accattoli, B.; Sacerdoti Coen, C. 2014-01-01 - Springer Berlin Heidelberg 4.01 Contributo in Atti di convegno -
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 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
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