-
13General iteration and unary functionsAnnals of Pure and Applied Logic 54 (2): 137-178. 1991.Programming practice suggests a notion of general iteration corresponding to the while-do construct. This leads to new characterizations of general computable unary functions usable in computer science