Paolo Pistone

52 papers A* 2B 11C 1Journal 33Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction.
CoRR
Kostia Chardonnet, Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2026 J jnl
On the Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2026 J jnl
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.
Proc. ACM Program. Lang.
Davide Barbarossa, Paolo Pistone
2025 J jnl
On The Metric Nature of (Differential) Logical Relations.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 B conf
On the Metric Nature of (Differential) Logical Relations.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2025 B conf
The Lambda Calculus Is Quantifiable.
CSL
Valentin Maestracci, Paolo Pistone
2025 J jnl
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages.
CoRR
Davide Barbarossa, Paolo Pistone
2024 — ch.
A New Conjecture About Identity of Proofs.
Perspectives on Deduction
Paolo Pistone
2024 B conf
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CSL
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2024 J jnl
On Randomized Computational Models and Complexity Classes: a Historical Overview.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2024 J jnl
The Lambda Calculus is Quantifiable.
CoRR
Valentin Maestracci, Paolo Pistone
2024 J jnl
Towards logical foundations for probabilistic computation.
Ann. Pure Appl. Log.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2024 B conf
Tropical Mathematics and the Lambda-Calculus I: Metric and Differential Analysis of Effectful Programs.
CSL
Davide Barbarossa, Paolo Pistone
2023 J jnl
An Arithmetic Theory for the Poly-Time Random Functions.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
On counting propositional logic and Wagner's hierarchy.
Theor. Comput. Sci.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2023 B conf
On the Lattice of Program Metrics.
FSCD
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 J jnl
On the Lattice of Program Metrics.
CoRR
Ugo Dal Lago, Naohiko Hoshino, Paolo Pistone
2023 J jnl
Preface to the special issue on metric and differential semantics.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Francesco Gavazzo, Paolo Pistone
2023 J jnl
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs.
CoRR
Davide Barbarossa, Paolo Pistone
2023 — conf
Tropical Mathematics and the Lambda-Calculus (short paper) (text not included).
ICTCS
Davide Barbarossa, Paolo Pistone
2022 A* conf
Curry and Howard Meet Borel.
LICS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 J jnl
Curry and Howard Meet Borel.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 B conf
On Quantitative Algebraic Higher-Order Theories.
FSCD
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2022 J jnl
On Quantitative Algebraic Higher-Order Theories.
CoRR
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2022 J jnl
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives.
Stud Logica
Paolo Pistone, Luca Tranchini, Mattia Petrolo
2021 J jnl
A New Conjecture About Identity of Proofs.
CoRR
Paolo Pistone
2021 B conf
A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.
CSL
Guillaume Geoffroy, Paolo Pistone
2021 J jnl
From Identity to Difference: A Quantitative Interpretation of the Identity Type.
CoRR
Paolo Pistone
2021 — conf
On Counting Propositional Logic and Wagner's Hierarchy.
ICTCS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Counting Propositional Logic.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version).
CoRR
Paolo Pistone
2021 A* conf
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus.
LICS
Paolo Pistone
2021 J jnl
On Measure Quantifiers in First-Order Arithmetic (Long Version).
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 C conf
On Measure Quantifiers in First-Order Arithmetic.
CiE
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 — conf
The Yoneda Reduction of Polymorphic Types (Abstract).
SOQE@KR
Paolo Pistone, Luca Tranchini
2021 B conf
The Yoneda Reduction of Polymorphic Types.
CSL
Paolo Pistone, Luca Tranchini
2021 B conf
What's Decidable About (Atomic) Polymorphism?
FSCD
Paolo Pistone, Luca Tranchini
2021 J jnl
What's Decidable about (Atomic) Polymorphism.
CoRR
Paolo Pistone, Luca Tranchini
2019 J jnl
Finite semantics of polymorphism, complexity and the power of type fixpoints.
CoRR
Lê Thành Dung Nguyên, Paolo Pistone, Thomas Seiller, Lorenzo Tortora de Falco
2019 J jnl
On completeness and parametricity in the realizability semantics of System F.
Log. Methods Comput. Sci.
Paolo Pistone
2019 J jnl
Polymorphism and the free bicartesian closed category.
CoRR
Paolo Pistone, Luca Tranchini
2019 J jnl
The Naturality of Natural Deduction.
Stud Logica
Luca Tranchini, Paolo Pistone, Mattia Petrolo
2019 J jnl
The naturality of natural deduction (II). Some remarks on atomic polymorphism.
CoRR
Paolo Pistone, Luca Tranchini, Mattia Petrolo
2018 J jnl
On completeness and parametricity in the realizability semantics of System F.
CoRR
Paolo Pistone
2018 J jnl
Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale.
Bull. Symb. Log.
Paolo Pistone
2018 J jnl
Proof nets and the instantiation overflow property.
CoRR
Paolo Pistone
2018 — conf
Proof nets, coends and the Yoneda isomorphism.
Linearity-TLLA@FLoC
Paolo Pistone
2017 B conf
On Dinaturality, Typability and beta-eta-Stable Models.
FSCD
Paolo Pistone
2017 J jnl
Polymorphism and the obstinate circularity of second order logic: a victims' tale.
CoRR
Paolo Pistone
2014 B conf
Logic Programming and Logarithmic Space.
APLAS
Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
2014 J jnl
Logic Programming and Logarithmic Space.
CoRR
Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller