A short proof that adding some permutation rules to $β$ preserves $SN$
I show that, if a term is $SN$ for $β$, it remains $SN$ when some permutation rules are added.
cs.LO↗
arXiv subjects
Rene David
Publications and source records attributed to Rene David.