Not registered as user yet

Name: Tommaso Padoan

Affiliation: University of Padova

Contributions

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