I-TYPES OF SYSTEM F - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Informatique Théorique et Applications Année : 2001

I-TYPES OF SYSTEM F

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

We prove in this paper that the types of system F inhabited uniquely by λI-terms (the I-types) have a positive quantifier. We give also consequences of this result and some examples.
Fichier principal
Vignette du fichier
ItypesF.pdf (151.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00380940 , version 1 (04-05-2009)

Identifiants

Citer

Karim Nour. I-TYPES OF SYSTEM F. Informatique Théorique et Applications, 2001, 35, pp.223-237. ⟨hal-00380940⟩
60 Consultations
33 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More