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:	[MATH.MATH-LO]Mathematics [math]/Logic [math.LO] sami
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.