Reductions in Higher-Order Rewriting and Their Equivalence.

Pablo Barenbaum, Eduardo Bonelli

Browse the full CSL paper archive.