41 citations · 57 across the 4 of their papers we have counts for
Showing 2009 · cs.LOShow all
2 papers · 2 filters
cs.LO2009★ 1 cited
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
Jeroen Ketema, Jakob Grue Simonsen
We study normalising reduction strategies for infinitary Combinatory Reduction Systems (iCRSs). We prove that all fair, outermost-fair, and needed-fair strategies are normalising f…
cs.LO2009★ 13 cited
Infinitary Combinatory Reduction Systems: Confluence
Jeroen Ketema, Jakob Grue Simonsen
We study confluence in the setting of higher-order infinitary rewriting, in particular for infinitary Combinatory Reduction Systems (iCRSs). We prove that fully-extended, orthogona…