Not registered as user yet
Name: Pietro Barbieri
Affiliation: Università di Genova
Contributions
| FTfJP 2020 | An inductive abstract semantics for coFJ | ||||||||||||||||||||||||||||||||||||||||
| ECOOP 2020 | Sound regular corecursion in coFJ | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2020-profile
View general profile
View general profile