ETAPS 2019 (series) / Paolo Pistone
Registered user since Wed 23 Jan 2019
Name:Paolo Pistone
Country:Italy
Affiliation:University of Tübingen
Personal website:http://logica.uniroma3.it/pistone/
Research interests:Mathematical Logic, Proof Theory, Theoretical Computer Science, Complexity
Contributions
DICE-FOPARA 2019 | PC Member in Program Committee within the DICE-FOPARA-track Finite semantics of polymorphism, complexity and the power of type fixpoints | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile