Paolo Pistone

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 40

Top Topics

Natural Deduction

Top Venues

Publications

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