Définitions et calcul de l’alpha-équivalence

Résumé : Nous rappelons la définition de l’alpha-équivalence par réécriture, nous prouvons qu’elle est équivalente à celle donnée par J.L. Krivine dans [2] page 12. Nous prouvons que la condition « pour toute variable y sauf un nombre fini » est équivalente à deux conditions permettant de calculer l’alpha-équivalence, sans utiliser la notation de De Bruijn.
Type de document :
Rapport
[Research Report] RR-LIG-013, LIG. 2011, pp.9
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01354360
Contributeur : Grégory Mounié <>
Soumis le : jeudi 18 août 2016 - 17:33:10
Dernière modification le : lundi 9 avril 2018 - 12:20:05
Document(s) archivé(s) le : samedi 19 novembre 2016 - 20:34:20

Fichier

RR-LIG-013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01354360, version 1

Collections

Citation

Michel Lévy. Définitions et calcul de l’alpha-équivalence. [Research Report] RR-LIG-013, LIG. 2011, pp.9. 〈hal-01354360〉

Partager

Métriques

Consultations de la notice

20

Téléchargements de fichiers

65