Table des matières
Introduction
Définitions préliminaires
Introduction
Rappels sur la notion de relation binaire
Terminaison et confluence
Réécriture du premier ordre
Le λ-calcul
Normalisation forte du λ
σ
w
-calcul
Définition du formalisme λ
σ
Le calcul λ
σ
w
Preuve de normalisation forte
Le calcul λ
P
w
Définition du calcul
Confluence de λ
P
w
Un système de types pour λ
P
w
Normalisation forte pour λ
P
w
Systèmes de réduction d'expressions avec motifs
Définition des ERSP
Règles de réécriture et relation de réduction
Un exemple concret
Vers un ensemble d'ERSP confluents
Confluence des ERSP
Conclusions
Références
Ce document a été traduit de L
A
T
E
X par
H
E
V
E
A