Mu-recursive function