Uncurrying for Innermost Termination and Derivational Complexity

Harald Zankl, Nao Hirokawa, and Aart Middeldorp
Proceedings of the 5th International Workshop on Higher-Order Rewriting (HOR 2010), Electronic Proceedings in Theoretical Computer Science 49, pp. 46 – 57, 2011.

abstract   BibTeX   PDF   doi:10.4204/EPTCS.49.4  
Creative Commons