| Logic programming and logarithmic space C Aubert, M Bagnol, P Pistone, T Seiller Asian Symposium on Programming Languages and Systems, 39-57, 2014 | 19 | 2014 |
| The naturality of natural deduction L Tranchini, P Pistone, M Petrolo Studia Logica 107 (1), 195-231, 2019 | 15 | 2019 |
| The naturality of natural deduction (II). Some remarks on atomic polymorphism P Pistone, L Tranchini, M Petrolo arXiv preprint arXiv:1908.11353, 2019 | 8 | 2019 |
| POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’TALE P Pistone Bulletin of Symbolic Logic 24 (1), 1-52, 2018 | 8 | 2018 |
| On Dinaturality, Typability and beta-eta-Stable Models P Pistone 2nd International Conference on Formal Structures for Computation and …, 2017 | 6 | 2017 |
| Proof nets and the instantiation overflow property P Pistone arXiv preprint arXiv:1803.09297, 2018 | 5 | 2018 |
| On generalized metric spaces for the simply typed lambda-calculus P Pistone 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 4 | 2021 |
| Proof nets, coends and the Yoneda isomorphism P Pistone arXiv preprint arXiv:1810.01252, 2018 | 4 | 2018 |
| A partial metric semantics of higher-order types and approximate program transformations G Geoffroy, P Pistone CSL 2021-Computer Science Logic, 2021 | 3 | 2021 |
| The Yoneda Reduction of Polymorphic Types P Pistone, L Tranchini 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 3 | 2021 |
| On completeness and parametricity in the realizability semantics of System F P Pistone Logical Methods in Computer Science 15, 2019 | 3 | 2019 |
| The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives P Pistone, L Tranchini, M Petrolo Studia Logica 110 (2), 545-592, 2022 | 2 | 2022 |
| What's Decidable about (Atomic) Polymorphism P Pistone, L Tranchini arXiv preprint arXiv:2105.00748, 2021 | 2 | 2021 |
| On paradoxes in normal form M Petrolo, P Pistone Topoi 38 (3), 605-617, 2019 | 2 | 2019 |
| Proving properties of polymorphic programs using type isomorphisms with the Yoneda lemma P Pistone, L Tranchini | 2 | 2019 |
| From Identity to Difference: A Quantitative Interpretation of the Identity Type P Pistone arXiv preprint arXiv:2107.06150, 2021 | 1 | 2021 |
| On Measure Quantifiers in First-Order Arithmetic M Antonelli, U Dal Lago, P Pistone Conference on Computability in Europe, 12-24, 2021 | 1 | 2021 |
| On generalized metric spaces for the simply typed lambda-calculus (extended version) P Pistone arXiv preprint arXiv:2104.13324, 2021 | 1 | 2021 |
| The Yoneda Reduction of Polymorphic Types (Extended Version) P Pistone, L Tranchini arXiv preprint arXiv:1907.03481, 2019 | 1 | 2019 |
| On Counting Propositional Logic and Wagner’s Hierarchy M Antonelli, U Dal Lago, P Pistone | 1 | |
