Metadata
Author: WikiMatrix
Data
Italian[it]
Le funzioni ricorsive sono la più piccola classe di funzioni contenente le funzioni ricorsive primitive chiusa rispetto agli operatori di composizione, di ricorsione primitiva e all'operatore μ, detto anche operatore di minimizzazione.
Portuguese[pt]
Elas são a menor classe de funções parciais que inclui as funções iniciais e é fechada sob a composição, recursão primitiva e o operador μ.