conf.researchr.org / Pietro Barbieri
Not registered as user yet
Name: Pietro Barbieri
Affiliation: Università di Genova
Contributions
| FTfJP 2020 | Author of An inductive abstract semantics for coFJ within the FTfJP-track |
| ECOOP 2020 | Author of Sound regular corecursion in coFJ within the Research Papers-track |