| Logic programming and logarithmic space C Aubert, M Bagnol, P Pistone, T Seiller Programming Languages and Systems: 12th Asian Symposium, APLAS 2014 …, 2014 | 22 | 2014 |
| The naturality of natural deduction L Tranchini, P Pistone, M Petrolo Studia Logica 107 (1), 195-231, 2019 | 21 | 2019 |
| 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 | 17 | 2021 |
| Curry and howard meet borel M Antonelli, U Dal Lago, P Pistone Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 14 | 2022 |
| A partial metric semantics of higher-order types and approximate program transformations G Geoffroy, P Pistone CSL 2021-Computer Science Logic, 2021 | 12 | 2021 |
| On counting propositional logic and Wagner's hierarchy M Antonelli, U Dal Lago, P Pistone Theoretical Computer Science 966, 113928, 2023 | 11 | 2023 |
| On measure quantifiers in first-order arithmetic M Antonelli, U Dal Lago, P Pistone Connecting with Computability: 17th Conference on Computability in Europe …, 2021 | 11 | 2021 |
| The naturality of natural deduction (II): On atomic polymorphism and generalized propositional connectives P Pistone, L Tranchini, M Petrolo Studia Logica, 1-48, 2022 | 8 | 2022 |
| 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 quantitative algebraic higher-order theories UD Lago, F Honsell, M Lenisa, P Pistone arXiv preprint arXiv:2204.13654, 2022 | 7 | 2022 |
| The naturality of natural deduction (II). Some remarks on atomic polymorphism P Pistone, L Tranchini, M Petrolo arXiv preprint arXiv:1908.11353, 2019 | 6 | 2019 |
| On Dinaturality, Typability and beta-eta-Stable Models P Pistone 2nd International Conference on Formal Structures for Computation and …, 2017 | 6 | 2017 |
| The Yoneda Reduction of Polymorphic Types P Pistone, L Tranchini 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 5 | 2021 |
| On paradoxes in normal form M Petrolo, P Pistone Topoi 38 (3), 605-617, 2019 | 5 | 2019 |
| Proof nets and the instantiation overflow property P Pistone arXiv preprint arXiv:1803.09297, 2018 | 5 | 2018 |
| Intensional harmony as isomorphism P Pistone, L Tranchini Peter Schroeder-Heister on Proof-Theoretic Semantics, 315-337, 2024 | 4 | 2024 |
| Proof nets, coends and the Yoneda isomorphism P Pistone arXiv preprint arXiv:1810.01252, 2018 | 4 | 2018 |
| Towards logical foundations for probabilistic computation M Antonelli, U Dal Lago, P Pistone Annals of Pure and Applied Logic, 103341, 2023 | 3 | 2023 |
| Towards Randomized Bounded Arithmetic M Antonelli, U Dal Lago, D Davoli, I Oitavem, P Pistone Proc. AILA (Book of Abstract), 2022 | 3 | 2022 |
| On completeness and parametricity in the realizability semantics of System F P Pistone Logical Methods in Computer Science 15, 2019 | 3 | 2019 |
