CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 8 di 8
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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
(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
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 (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
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
Mostrati risultati da 1 a 8 di 8
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