Assertion: ram's function | /r/HasProperty | the mu recursive functions
Facets:
Source sentences:
text: On the other hand their RASP model P' 0 equipped with an "index register" (indirect addressing) can compute all the "partial recursive sequential functions" (the mu recursive functions) (p. 397-398).