μ再帰関数（がある。

また、ラムダ計算で記述される再帰関数やマルコフアルゴリズムで計算できる関数も同じである。

計算複雑性理論では、全再帰関数の集合をRと称する。