Article Dans Une Revue Informatique Théorique et Applications Année : 2001

Les types de données syntaxiques du système F

Karim Nour

Résumé

We give in this paper a purely syntactical definition of input and output types of system F. We define the syntactical data types as input and output types. We show that any type with positive quantifiers is a syntactical data type and that an input type is an output type. We give some restrictions on the $\forall$-elimination rule in order to prove that an output type is an input type.
Fichier principal
Vignette du fichier
typesSyntaxiques.pdf (168.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381595 , version 1 (06-05-2009)

Identifiants

Citer

Samir Farkh, Karim Nour. Les types de données syntaxiques du système F. Informatique Théorique et Applications, 2001, 35, pp.207-221. ⟨hal-00381595⟩
75 Consultations
91 Téléchargements

Altmetric

Partager

More