35 citations · 80 across the 25 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 14 cited
Dynamic Dependency Pairs for Algebraic Functional Systems
Cynthia Kop, Femke van Raamsdonk
We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reductio…
cs.LO2012★ 4 cited
Polynomial Interpretations for Higher-Order Rewriting
Carsten Fuhs, Cynthia Kop
The termination method of weakly monotonic algebras, which has been defined for higher-order rewriting in the HRS formalism, offers a lot of power, but has seen little use in recen…