Higher-Order Rewriting


Some results concerning confluence and termination of higher-order rewriting are discussed.