Proof Terms for Infinitary Rewriting

Cite this paper

@inproceedings{Lombardi2014ProofTF, title={Proof Terms for Infinitary Rewriting}, author={Carlos Lombardi and Alejandro R{\'i}os and Roel de Vrijer}, booktitle={RTA-TLCA}, year={2014} }