FP (プログラミング言語)
関数形式により原始的関数から構築されているものに加え、関数はある方程式により再帰的に定義されることもできる。もっとも単純なものは次のものである。
ここで Ef は、関数形式を用いて、原始的関数、他の定義済関数および関数記号 f それ自身から構築された1個の式である。