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

Karim Nour (1) , Samir Farkh (1)

1 LAMA - Laboratoire de Mathématiques

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.

Domaines: Logique [math.LO]

Karim Nour, Samir Farkh. Un Résultat de Complétude pour les Types $\forall^+$ du Système F. Comptes Rendus de l'Académie des Sciences - Series I - Mathematics, 1998, 326, pp.275-279. ⟨hal-00381215⟩