Programming practice suggests a general notion of primitive iteration which subsumes the for-until-do construct as well as all known primative iteration operators. This leads to new iterative characterizations of primitive computable functions usable in computer science.
Titolo: | Primitive iteration and unary functions |
Autori: | |
Data di pubblicazione: | 1988 |
Rivista: | |
Abstract: | Programming practice suggests a general notion of primitive iteration which subsumes the for-until-do construct as well as all known primative iteration operators. This leads to new iterative characterizations of primitive computable functions usable in computer science. |
Handle: | http://hdl.handle.net/11578/42580 |
Appare nelle tipologie: | 1.1 Articolo su Rivista |
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.