計算理論
計算を1つの初期ラムダ式(入力を分離したい場合は2つのラムダ式)と有限個のラムダ項で表す。各ラムダ項は前のラムダ項にβ簡約を適用したものである。
複数の自然数を引数として1つの自然数を返す関数であり、原始再帰関数に基づいて構築され、それにμ再帰を施したもの。