General iteration and unary functions

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.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Annals of pure and applied logic 1991-11, Vol.54 (2), p.137-178
Hauptverfasser:	Germano, G.M., Mazzanti, S.
Format:	Artikel
Sprache:	eng
Schlagworte:	Exact sciences and technology Logic and foundations Mathematical logic, foundations, set theory Mathematics Recursion theory Sciences and techniques of general use
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0168-0072
DOI:	10.1016/0168-0072(91)90029-L