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