SPLASH 2023 (series) / Paola Giannini
Registered user since Sat 4 Jun 2016
Name:Paola Giannini
Country:Italy
Affiliation:University of Eastern Piedmont
Personal website: http://people.unipmn.it/giannini/
Research interests:Logic semantics and type systems of programming languages and systems
Contributions
SPLASH 2023-profile
View general profile
View general profile