Un Résultat de Complétude pour les Types $\forall^+$ du Système F

International audience 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.

Bibliographic Details
Main Authors: Nour, Karim, Farkh, Samir
Other Authors: Laboratoire de Mathématiques (LAMA), Centre National de la Recherche Scientifique (CNRS)-Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )
Format: Article in Journal/Newspaper
Language:French
Published: HAL CCSD 1998
Subjects:
Online Access:https://hal.archives-ouvertes.fr/hal-00381215
https://hal.archives-ouvertes.fr/hal-00381215/document
https://hal.archives-ouvertes.fr/hal-00381215/file/THESE.pdf
Description
Summary:International audience 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.