Projections for Infinitary Rewriting

Accattoli, 2014, A nonstandard standardization theorem, 659 Barendregt, 1984 Curry, 1958 Dershowitz, 1991, Rewrite, rewrite, rewrite, rewrite, rewrite, Theor. Comput. Sci., 83, 71, 10.1016/0304-3975(91)90040-9 J. Endrullis, Personal communication, 2016. Endrullis, 2015, A coinductive framework for infinitary rewriting and equational reasoning, vol. 36, 143 Kennaway, 1992 Kennaway, 1995, Transfinite reductions in orthogonal term rewriting systems, Inf. Comput., 119, 18, 10.1006/inco.1995.1075 Ketema, 2012, Reinterpreting compression in infinitary rewriting, vol. 15, 209 Klop, 2005, Infinitary normalization, vol. 2, 169 Lombardi, 2014 Lombardi, 2014, Proof terms for infinitary rewriting, vol. 8560, 303 Lombardi Melliès, 1996 Terese, 2003, Term Rewriting Systems, vol. 55