3 citations · 3 across the 2 of their papers we have counts for
4 papers
What's Decidable about (Atomic) Polymorphism
Paolo Pistone, Luca Tranchini
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the mos…
The naturality of natural deduction (II). Some remarks on atomic polymorphism
Paolo Pistone, Luca Tranchini, Mattia Petrolo
In a previous paper (of which this is a prosecution) we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translat…
The Yoneda Reduction of Polymorphic Types (Extended Version)
Paolo Pistone, Luca Tranchini
In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isom…
The naturality of natural deduction
Luca Tranchini, Paolo Pistone, Mattia Petrolo
Developing a suggestion by Russell, Prawitz showed how the usual natural deduction inference rules for disjunction, conjunction and absurdity can be derived using those for implica…