Paolo Pistone

Available identifiers

zbMath Open pistone.paoloMaRDI QIDQ2117747

List of research outcomes

Publication	Date of Publication	Type
Curry and Howard meet Borel	2024-12-06	Paper
On the lattice of program metrics	2024-10-21	Paper
Intensional harmony as isomorphism	2024-10-01	Paper
Towards logical foundations for probabilistic computation	2024-06-24	Paper
Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs	2023-11-27	Paper
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories	2023-11-25	Paper
What’s Decidable About (Atomic) Polymorphism?	2023-06-23	Paper
On counting propositional logic and Wagner's hierarchy	2023-06-21	Paper
On Quantitative Algebraic Higher-Order Theories	2022-04-28	Paper
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives	2022-03-23	Paper
On measure quantifiers in first-order arithmetic	2022-03-22	Paper
Curry and Howard Meet Borel	2022-03-21	Paper
Proof nets, coends and the Yoneda isomorphism	2021-12-20	Paper
A New Conjecture About Identity of Proofs	2021-10-06	Paper
From Identity to Difference: A Quantitative Interpretation of the Identity Type	2021-07-13	Paper
On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version)	2021-04-27	Paper
On Measure Quantifiers in First-Order Arithmetic (Long Version)	2021-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5111327	2020-05-26	Paper
On the ``no deadlock criterion: from Herbrand's theorem to \textit{geometry of interaction}	2020-02-13	Paper
Rule-following and the limits of formalization: Wittgenstein's considerations through the lens of logic	2020-02-04	Paper
On paradoxes in normal form	2020-01-17	Paper
On completeness and parametricity in the realizability semantics of System \textsf{F}	2019-11-26	Paper
The naturality of natural deduction (II). Some remarks on atomic polymorphism	2019-08-29	Paper
A normal paradox	2019-07-24	Paper
The Yoneda Reduction of Polymorphic Types (Extended Version)	2019-07-08	Paper
The naturality of natural deduction	2019-05-15	Paper
Polymorphism and the obstinate circularity of second order logic: a victims' tale	2018-05-03	Paper
Proof nets and the instantiation overflow property	2018-03-25	Paper
The naturality of natural deduction	2016-07-22	Paper
Logic programming and logarithmic space	2016-02-26	Paper

Research outcomes over time

This page was built for person: Paolo Pistone