A short proof that adding some permutation rules to beta preserves SN

René David (1)

1 LAMA - Laboratoire de Mathématiques

I show that, if a term is $SN$ for $\beta$, it remains $SN$ when some permutation rules are added.

Mots clés: lambda-calcul; strong normalization; permutation rules

Domaines: Logique [math.LO]; Logique en informatique [cs.LO]

René David. A short proof that adding some permutation rules to beta preserves SN. 2009. ⟨hal-00376711v2⟩