Not registered as user yet

Name: Tommaso Padoan

Affiliation: University of Padova

Contributions

POPL 2019Author of Fixpoint Games on Continuous Lattices within the Research Papers-track