BARBAROSSA, DAVIDE
BARBAROSSA, DAVIDE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Resource approximation for the $\uplambda$$\upmu$-calculus | Davide Barbarossa | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Taylor subsumes Scott, Berry, Kahn and Plotkin | Barbarossa D.; Manzonetto G. | 2020-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | 3371069.pdf |