Uncurrying for Termination and Complexity

Nao Hirokawa, Aart Middeldorp, and Harald Zankl
Journal of Automated Reasoning 50(3), pp. 279 – 315, 2013.

abstract   BibTeX   PDF   doi:10.1007/s10817-012-9248-3  
Creative Commons