Un R\'esultat de Compl\'etude pour les Types forall^+ du Syst\`eme F
classification
🧮 math.LO
keywords
resulttypescomplcompletenessesultatetudeforallgeneralizes
read the original abstract
We presente in this note a completeness result for the types with positive quantifiers of the J.-Y. Girard type system F. This result generalizes a theorem of R. Labib-Sami.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.