ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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 2019PC Member in Program Committee within the DICE-FOPARA-track
Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track
Show activities from other conferences

ETAPS 2019-profile
View general profile