Peano Structures and the Semantics of Iteration
Giorgio Germano, Stefano Mazzanti · Electronic Notes in Theoretical Computer Science · 2004
In this paper closure theory is applied in order to obtain a uniform semantical treatment of both primitive and general iteration. In particular, the theory of Peano algebras has been extended to algebraic structures to inductively define both primitive and general iterates as structure homomorphisms, i.e. as fixed points of iteration equations.