Corrado Böhm. Reducing Recursion to Iteration by Means of Pairs and N-tuples. In Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi, editors, Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings. Volume 306 of Lecture Notes in Computer Science, pages 58-66, Springer, 1986.
Abstract is missing.