Learn More
Nous présentons dans cette note un résultat de complétude pour les typesà quantificateurs positifs du système F de J.-Y. Girard. Ce résultat généralise un théorème de R. Labib-Sami (voir [3]). 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(More)
The U-Th method, also called series method of uranium, is improved by a new experimental protocol and successfully applied to the impure calcite (with uranium concentration <0,05 dpm/g) which was previously difficult to be dated accurately. Our experiments performed on 15 calcite samples taken from France and Morocco, have highlighted the importance of this(More)
Nous présentons dans cette note un résultat de complétude pour les typesà quantificateurs positifs du système F de J.-Y. Girard. Ce résultat généralise un théorème de R. Labib-Sami (voir [3]). 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(More)
1 Résumé.-Nous présentons dans ce papier une définition purement syntaxique des types entrées et des types sorties du système F. Nous définissons les types de données syntaxiques commé etant des types entrées et sorties. Nous démontrons que les typesà quantificateurs positifs sont des types de données syntaxiques et qu'un type entrée est un type sortie.(More)
  • 1