コンビネータ論理での簡約

ウィキペディア小見出し辞書

コンビネータ論理での簡約

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/10 14:50 UTC 版)

「コンビネータ論理」の記事における「コンビネータ論理での簡約」の解説

コンビネータ論理では、それぞれの原始的コンビネータは以下のような形の簡約のルールを持つ。 (P x1 ... xn) = E Eは変数x1 ...xnのみに言及している項である。これらのルールは、原始的コンビネータが関数として振る舞う方法を定義している。