Paolo Pistone

According to our database, Paolo Pistone authored at least 37 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.

Davide Barbarossa, Paolo Pistone

CoRR, January, 2025

On the Metric Nature of (Differential) Logical Relations.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

The Lambda Calculus Is Quantifiable.

Valentin Maestracci, Paolo Pistone

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

On Randomized Computational Models and Complexity Classes: a Historical Overview.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2024

Towards logical foundations for probabilistic computation.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Ann. Pure Appl. Log., 2024

Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs.

Davide Barbarossa, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

A New Conjecture About Identity of Proofs.

Paolo Pistone

Proceedings of the Perspectives on Deduction: Contemporary Studies in the Philosophy, 2024

2023

Preface to the special issue on metric and differential semantics.

Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone

Math. Struct. Comput. Sci., 2023

An Arithmetic Theory for the Poly-Time Random Functions.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

CoRR, 2023

Tropical Mathematics and the Lambda-Calculus (short paper) (text not included).

Davide Barbarossa, Paolo Pistone

Proceedings of the 24th Italian Conference on Theoretical Computer Science, 2023

On the Lattice of Program Metrics.

Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.

Paolo Pistone, Luca Tranchini, Mattia Petrolo

Stud Logica, 2022

Curry and Howard Meet Borel.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

On Quantitative Algebraic Higher-Order Theories.

Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

A New Conjecture About Identity of Proofs.

Paolo Pistone

CoRR, 2021

From Identity to Difference: A Quantitative Interpretation of the Identity Type.

Paolo Pistone

CoRR, 2021

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version).

Paolo Pistone

CoRR, 2021

On Measure Quantifiers in First-Order Arithmetic (Long Version).

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

On Counting Propositional Logic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus.

Paolo Pistone

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

The Yoneda Reduction of Polymorphic Types (Abstract).

Paolo Pistone, Luca Tranchini

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

On Counting Propositional Logic and Wagner's Hierarchy.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the 22nd Italian Conference on Theoretical Computer Science, 2021

What's Decidable About (Atomic) Polymorphism?

Paolo Pistone, Luca Tranchini

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

The Yoneda Reduction of Polymorphic Types.

Paolo Pistone, Luca Tranchini

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.

Guillaume Geoffroy, Paolo Pistone

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

On Measure Quantifiers in First-Order Arithmetic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the Connecting with Computability, 2021

2019

The Naturality of Natural Deduction.

Luca Tranchini, Paolo Pistone, Mattia Petrolo

Stud Logica, 2019

On completeness and parametricity in the realizability semantics of System F.

Paolo Pistone

Log. Methods Comput. Sci., 2019

The naturality of natural deduction (II). Some remarks on atomic polymorphism.

Paolo Pistone, Luca Tranchini, Mattia Petrolo

CoRR, 2019

Polymorphism and the free bicartesian closed category.

Paolo Pistone, Luca Tranchini

CoRR, 2019

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

2018

Proof nets, coends and the Yoneda isomorphism.

Paolo Pistone

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Proof nets and the instantiation overflow property.

Paolo Pistone

CoRR, 2018

Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale.

Paolo Pistone

Bull. Symb. Log., 2018

2017

On Dinaturality, Typability and beta-eta-Stable Models.

Paolo Pistone

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2014

Logic Programming and Logarithmic Space.

Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014