SKIコンビネータ計算
SKIコンビネータ計算は
型無しラムダ計算
を単純化した、ひとつの計算モデルである。このモデルは、ある種のプログラミング言語と考えることができるが、人間によるソースコードの記述には適さない（難解プログラミング言語には時折採用される）。その代わり、このモデルは非常に単純なチューリング完全な言語であるため、アルゴリズムの数学理論においては重要である。
SKIコンビネータ計算 - Wikipedia
cripped at 2021/02/25 10:09