エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

ラムダ計算と無限ラムダ多項式(12)

有限の場合から無限の場合へ

有限の場合(任意の再帰的定義の関数の呼び出しの深さが有限の回数  n 以内の場合)、関数定義、無名関数、クロージャーを取り除くことができて、式の値は以前定義した「一般マグマの多項式」のような形にすることができます。

これの無限の場合(任意の  n の場合)について考えることがこの記事の目的となります。