I-types of system F - Archive ouverte HAL
Article Dans Une Revue Informatique Théorique et Applications Année : 2001

I-types of system F

Karim Nour
Laboratoire de Mathématiques

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.

Domaines

Logique [math.LO]
Fichier principal
Vignette du fichier
ItypesF.pdf (151.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Karim Nour  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00380940

Soumis le : lundi 4 mai 2009-17:00:17

Dernière modification le : mercredi 16 octobre 2024-15:52:09

Archivage à long terme le : jeudi 10 juin 2010-22:42:26

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-SAVOIE UGA CNRS INSMI LAMA LAMA-EQUIPE-LIMD
69 Consultations
46 Téléchargements

Altmetric

Partager

More