Higher-Order Rewrite Systems and Their Confluence

Cite this paper

@article{Mayr1998HigherOrderRS, title={Higher-Order Rewrite Systems and Their Confluence}, author={Richard Mayr and Tobias Nipkow}, journal={Theor. Comput. Sci.}, year={1998}, volume={192}, pages={3-29} }