Higher-Order Rewriting

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