Not registered as user yet

Name:Ivan Di Liberti
Affiliation:Czech Academy of Sciences

Contributions

POPL 2021 Author of Functorial Semantics for Partial Theories within the POPL-track