Paolo Pistone

Available identifiers

zbMath Open pistone.paoloMaRDI QIDQ2117747

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5215774	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 F	2019-11-26	Paper
The naturality of natural deduction (II). Some remarks on atomic polymorphism	2019-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q5224890	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paolo Pistone