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 |

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 | 19 | 2021 |

The naturality of natural deduction L Tranchini, P Pistone, M Petrolo Studia Logica 107 (1), 195-231, 2019 | 18 | 2019 |

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 |

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 | 9 | 2022 |

A partial metric semantics of higher-order types and approximate program transformations G Geoffroy, P Pistone CSL 2021-Computer Science Logic, 2021 | 9 | 2021 |

On counting propositional logic and Wagner's hierarchy M Antonelli, U Dal Lago, P Pistone Theoretical Computer Science 966, 113928, 2023 | 8 | 2023 |

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 |

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives P Pistone, L Tranchini, M Petrolo Studia Logica, 1-48, 2022 | 5 | 2022 |

The naturality of natural deduction (II). Some remarks on atomic polymorphism P Pistone, L Tranchini, M Petrolo arXiv preprint arXiv:1908.11353, 2019 | 5 | 2019 |

Proof nets and the instantiation overflow property P Pistone arXiv preprint arXiv:1803.09297, 2018 | 5 | 2018 |

On Quantitative Algebraic Higher-Order Theories U Dal Lago, F Honsell, M Lenisa, P Pistone 7th International Conference on Formal Structures for Computation and …, 2022 | 4 | 2022 |

On paradoxes in normal form M Petrolo, P Pistone Topoi 38 (3), 605-617, 2019 | 4 | 2019 |

Proof nets, coends and the Yoneda isomorphism P Pistone arXiv preprint arXiv:1810.01252, 2018 | 4 | 2018 |

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 |

What's Decidable about (Atomic) Polymorphism P Pistone, L Tranchini arXiv preprint arXiv:2105.00748, 2021 | 2 | 2021 |

On Measure Quantifiers in First-Order Arithmetic (Long Version) M Antonelli, UD Lago, P Pistone arXiv preprint arXiv:2104.12124, 2021 | 2 | 2021 |

Proving properties of polymorphic programs using type isomorphisms with the Yoneda lemma P Pistone, L Tranchini | 2 | 2019 |