A short proof that adding some permutation rules to beta preserves SN
Résumé
I show that, if a term is strongly normalizing (SN) for beta, it remains SN when some permutation rules are added.
Domaines
Logique [math.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...