Définitions et calcul de l’alpha-équivalence - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2011

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

(1)
1

Abstract

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.
Fichier principal
Vignette du fichier
RR-LIG-013.pdf (5.93 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01354360 , version 1 (18-08-2016)

Identifiers

  • HAL Id : hal-01354360 , version 1

Cite

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

Collections

LARA
26 View
137 Download

Share

Gmail Facebook Twitter LinkedIn More