Counterexamples to Higher-Order Modularity


It is shown that, contrary to what popular believe would have it, almost none of the usual rewrite properties is modular for higher-order rewriting.