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.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01354360
Contributor : Grégory Mounié <>
Submitted on : Thursday, August 18, 2016 - 5:33:10 PM
Last modification on : Monday, April 9, 2018 - 12:20:05 PM
Long-term archiving on : Saturday, November 19, 2016 - 8:34:20 PM

File

RR-LIG-013.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

32

Files downloads

130