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

Rene David

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