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