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

2019

DICE-FOPARA

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

2017

FSCD

Author of Dinaturality between syntax and semantics within the FSCD 2017-track