Augmented loop languages and classes of
β
Michael Machtey
π
Article
π
1972
π
Elsevier Science
π
English
β 1024 KB
A classification of all the computable functions is given in terms of subrecursive programming languages. These classes are those which arise from the relation "primitive recursive in." By distinguishing between honest and dishonest classes the classification is related to the computational complexi