Paolo Pistone

From MaRDI portal
Person:2117747

Available identifiers

zbMath Open pistone.paoloMaRDI QIDQ2117747

List of research outcomes





PublicationDate of PublicationType
Curry and Howard meet Borel2024-12-06Paper
On the lattice of program metrics2024-10-21Paper
Intensional harmony as isomorphism2024-10-01Paper
Towards logical foundations for probabilistic computation2024-06-24Paper
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs2023-11-27Paper
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories2023-11-25Paper
What’s Decidable About (Atomic) Polymorphism?2023-06-23Paper
On counting propositional logic and Wagner's hierarchy2023-06-21Paper
On Quantitative Algebraic Higher-Order Theories2022-04-28Paper
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives2022-03-23Paper
On measure quantifiers in first-order arithmetic2022-03-22Paper
Curry and Howard Meet Borel2022-03-21Paper
Proof Nets, Coends and the Yoneda Isomorphism2021-12-20Paper
A New Conjecture About Identity of Proofs2021-10-06Paper
From Identity to Difference: A Quantitative Interpretation of the Identity Type2021-07-13Paper
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version)2021-04-27Paper
On Measure Quantifiers in First-Order Arithmetic (Long Version)2021-04-25Paper
https://portal.mardi4nfdi.de/entity/Q51113272020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q52157742020-02-13Paper
Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic2020-02-04Paper
On paradoxes in normal form2020-01-17Paper
On completeness and parametricity in the realizability semantics of System F2019-11-26Paper
The naturality of natural deduction (II). Some remarks on atomic polymorphism2019-08-29Paper
https://portal.mardi4nfdi.de/entity/Q52248902019-07-24Paper
The Yoneda Reduction of Polymorphic Types (Extended Version)2019-07-08Paper
The naturality of natural deduction2019-05-15Paper
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE2018-05-03Paper
Proof nets and the instantiation overflow property2018-03-25Paper
The naturality of natural deduction2016-07-22Paper
Logic Programming and Logarithmic Space2016-02-26Paper

Research outcomes over time

This page was built for person: Paolo Pistone