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.
Primitive iteration and unary functions
MAZZANTI, STEFANO
1988-01-01
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.
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.
