Résultats de complétude pour des classes de types du système AF2 - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Informatique Théorique et Applications Année : 1998

Résultats de complétude pour des classes de types du système AF2

Karim Nour
  • Fonction : Auteur
  • PersonId : 859979

Résumé

J.-L. Krivine introduced the AF2 type system in order to obtain programs ($\lambda$-terms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system F of J.-Y. Girard.
Fichier principal
Vignette du fichier
THESE.pdf (204.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381155 , version 1 (05-05-2009)

Identifiants

Citer

Samir Farkh, Karim Nour. Résultats de complétude pour des classes de types du système AF2. Informatique Théorique et Applications, 1998, 31 (6), pp.513-537. ⟨hal-00381155⟩
101 Consultations
77 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More