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