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