A short proof that adding some permutation rules to beta preserves SN
Logic
2009-04-27 v2 Logic in Computer Science
Abstract
I show that, if a term is for , it remains when some permutation rules are added.
Cite
@article{arxiv.0904.2955,
title = {A short proof that adding some permutation rules to beta preserves SN},
author = {René David},
journal= {arXiv preprint arXiv:0904.2955},
year = {2009}
}