
From Identity to Difference: A Quantitative Interpretation of the Identity Type
We explore a quantitative interpretation of 2dimensional intuitionistic...
read it

What's Decidable about (Atomic) Polymorphism
Due to the undecidability of most typerelated properties of System F li...
read it

On Generalized Metric Spaces for the Simply Typed LambdaCalculus (Extended Version)
Generalized metrics, arising from Lawvere's view of metric spaces as enr...
read it

On Measure Quantifiers in FirstOrder Arithmetic (Long Version)
We study the logic obtained by endowing the language of firstorder arit...
read it

On Counting Propositional Logic
We study counting propositional logic as an extension of propositional l...
read it

The naturality of natural deduction (II). Some remarks on atomic polymorphism
In this paper (which is a prosecution of "The naturality of natural dedu...
read it

Polymorphism and the free bicartesian closed category
We study two decidable fragments of System F, the polynomial and the Yon...
read it

Finite semantics of polymorphism, complexity and the power of type fixpoints
Many applications of denotational semantics, such as higherorder model ...
read it

Proof nets, coends and the Yoneda isomorphism
Proof nets provide permutationindependent representations of proofs and...
read it

Proof nets and the instantiation overflow property
Instantiation overflow is the property of those second order types for w...
read it

On completeness and parametricity in the realizability semantics of System F
A general approach to the realizability semantics of System F is obtaine...
read it

Polymorphism and the obstinate circularity of second order logic: a victims' tale
The investigations on higherorder type theories and on the related noti...
read it
Paolo Pistone
is this you? claim profile