Proof terms for infinitary rewriting, progress report

Cite this paper

@article{Lombardi2014ProofTF, title={Proof terms for infinitary rewriting, progress report}, author={Carlos Lombardi and Alejandro R{\'i}os and Roel de Vrijer}, journal={CoRR}, year={2014}, volume={abs/1402.2245} }