64 citations · 239 across the 40 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
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…