research
∙
05/03/2021
What's Decidable about (Atomic) Polymorphism
Due to the undecidability of most type-related properties of System F li...
share
research
∙
08/29/2019
The naturality of natural deduction (II). Some remarks on atomic polymorphism
In this paper (which is a prosecution of "The naturality of natural dedu...
research
∙
07/08/2019
