Higher-Order Critical Pairs

Cite this paper

@inproceedings{Nipkow1991HigherOrderCP, title={Higher-Order Critical Pairs}, author={Tobias Nipkow}, booktitle={LICS}, year={1991} }