Gilda Ferreira

Suggest Changes
Learn More
It has been known for six years that the restriction of Girard’s polymorphic system F to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We(More)