A. J. Kfoury. Recursion Versus Iteration at Higher-Orders. In S. Ramesh, G. Sivakumar, editors, Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings. Volume 1346 of Lecture Notes in Computer Science, pages 57-73, Springer, 1997. [doi]
Abstract is missing.