A short proof that adding some permutation rules to $\beta$ preserves $SN$
Abstract
I show that, if a term is $SN$ for $\beta$, it remains $SN$ when some permutation rules are added.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2010
- DOI:
- 10.48550/arXiv.1011.1335
- arXiv:
- arXiv:1011.1335
- Bibcode:
- 2010arXiv1011.1335D
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- Theoretical Computer Science, 2010