Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
Abstract
We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising for orthogonal, fully-extended iCRSs. These facts properly generalise a number of results on normalising strategies in first-order infinitary rewriting and provide the first examples of normalising strategies for infinitary lambda calculus.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2009
- DOI:
- 10.48550/arXiv.0912.4947
- arXiv:
- arXiv:0912.4947
- Bibcode:
- 2009arXiv0912.4947K
- Keywords:
-
- Computer Science - Logic in Computer Science;
- D.3.1;
- F.3.2;
- F.4.1;
- F.4.2
- E-Print:
- Logical Methods in Computer Science, Volume 6, Issue 1 (February 26, 2010) lmcs:841