The following pages link to Paolo Pistone (Q2117747):
Displayed 26 items.
- On measure quantifiers in first-order arithmetic (Q2117748) (← links)
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives (Q2118979) (← links)
- On paradoxes in normal form (Q2288281) (← links)
- The naturality of natural deduction (Q2631649) (← links)
- Logic Programming and Logarithmic Space (Q2789034) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- On completeness and parametricity in the realizability semantics of System F (Q4972737) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5111327) (← links)
- Rule-Following and the Limits of Formalization: Wittgenstein’s Considerations Through the Lens of Logic (Q5213628) (← links)
- (Q5215774) (← links)
- (Q5224890) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)
- What’s Decidable About (Atomic) Polymorphism? (Q6159943) (← links)
- The naturality of natural deduction (Q6275830) (← links)
- Proof nets and the instantiation overflow property (Q6299536) (← links)
- The Yoneda Reduction of Polymorphic Types (Extended Version) (Q6321701) (← links)
- The naturality of natural deduction (II). Some remarks on atomic polymorphism (Q6324392) (← links)
- On Measure Quantifiers in First-Order Arithmetic (Long Version) (Q6366057) (← links)
- On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version) (Q6366273) (← links)
- From Identity to Difference: A Quantitative Interpretation of the Identity Type (Q6372688) (← links)
- A New Conjecture About Identity of Proofs (Q6379533) (← links)
- Curry and Howard Meet Borel (Q6394294) (← links)
- On Quantitative Algebraic Higher-Order Theories (Q6397728) (← links)
- Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories (Q6460715) (← links)
- Tropical Mathematics and the Lambda Calculus I: Metric and Differential Analysis of Effectful Programs (Q6460907) (← links)