Registered user since Wed 23 Jan 2019

Name:Paolo Pistone
Country:Italy
Affiliation:University of Tübingen
Research interests:Mathematical Logic, Proof Theory, Theoretical Computer Science, Complexity

Contributions

DICE-FOPARA 2019 PC 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
FSCD 2017 Author of Dinaturality between syntax and semantics within the FSCD 2017-track