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.

Peano Structures and the Semantics of Iteration

MAZZANTI, STEFANO
2004-01-01

Abstract

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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11578/799
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact