Logic Programming and Logarithmic Space. - Clément Aubert; Marc Bagnol; Paolo Pistone; Thomas Seiller (APLAS, 2014)

On Dinaturality, Typability and beta-eta-Stable Models. - Paolo Pistone (FSCD, 2017)

Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale. - Paolo Pistone (Bull. Symb. Log., 2018)

Proof nets and the instantiation overflow property. - Paolo Pistone (CoRR, 2018)

Proof nets, coends and the Yoneda isomorphism. - Paolo Pistone (Linearity-TLLA@FLoC, 2018)

Finite semantics of polymorphism, complexity and the power of type fixpoints. - Lê Thành Dung Nguyên; Paolo Pistone; Thomas Seiller; Lorenzo Tortora de Falco (CoRR, 2019)

Polymorphism and the free bicartesian closed category. - Paolo Pistone; Luca Tranchini (CoRR, 2019)

The naturality of natural deduction (II). Some remarks on atomic polymorphism. - Paolo Pistone; Luca Tranchini; Mattia Petrolo (CoRR, 2019)

On completeness and parametricity in the realizability semantics of System F. - Paolo Pistone (Log. Methods Comput. Sci., 2019)

The Naturality of Natural Deduction. - Luca Tranchini; Paolo Pistone; Mattia Petrolo (Stud Logica, 2019)

On Measure Quantifiers in First-Order Arithmetic. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CiE, 2021)

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations. - Guillaume Geoffroy; Paolo Pistone (CSL, 2021)

The Yoneda Reduction of Polymorphic Types. - Paolo Pistone; Luca Tranchini (CSL, 2021)

What's Decidable About (Atomic) Polymorphism? - Paolo Pistone; Luca Tranchini (FSCD, 2021)

The Yoneda Reduction of Polymorphic Types (Abstract). - Paolo Pistone; Luca Tranchini (SOQE@KR, 2021)

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. - Paolo Pistone (LICS, 2021)

On Counting Propositional Logic. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2021)

On Measure Quantifiers in First-Order Arithmetic (Long Version). - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2021)

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version). - Paolo Pistone (CoRR, 2021)

From Identity to Difference: A Quantitative Interpretation of the Identity Type. - Paolo Pistone (CoRR, 2021)

A New Conjecture About Identity of Proofs. - Paolo Pistone (CoRR, 2021)

On Quantitative Algebraic Higher-Order Theories. - Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone (FSCD, 2022)

Curry and Howard Meet Borel. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (LICS, 2022)

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives. - Paolo Pistone; Luca Tranchini; Mattia Petrolo (Stud Logica, 2022)

On the Lattice of Program Metrics. - Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone (FSCD, 2023)

Tropical Mathematics and the Lambda-Calculus (short paper) (text not included). - Davide Barbarossa; Paolo Pistone (ICTCS, 2023)

An Arithmetic Theory for the Poly-Time Random Functions. - Melissa Antonelli; Ugo Dal Lago; Davide Davoli 001; Isabel Oitavem; Paolo Pistone (CoRR, 2023)

Preface to the special issue on metric and differential semantics. - Ugo Dal Lago; Francesco Gavazzo; Paolo Pistone (Math. Struct. Comput. Sci., 2023)

On counting propositional logic and Wagner's hierarchy. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (Theor. Comput. Sci., 2023)

A New Conjecture About Identity of Proofs. - Paolo Pistone (Perspectives on Deduction, 2024)

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. - Melissa Antonelli; Ugo Dal Lago; Davide Davoli 001; Isabel Oitavem; Paolo Pistone (CSL, 2024)

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs. - Davide Barbarossa; Paolo Pistone (CSL, 2024)

Towards logical foundations for probabilistic computation. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (Ann. Pure Appl. Log., 2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2024)

The Lambda Calculus Is Quantifiable. - Valentin Maestracci; Paolo Pistone (CSL, 2025)

On the Metric Nature of (Differential) Logical Relations. - Ugo Dal Lago; Naohiko Hoshino; Paolo Pistone (FSCD, 2025)

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages. - Davide Barbarossa; Paolo Pistone (CoRR, 2025)