スマートフォン用の表示で見る

コンビネータ

【combinator】自由変数を含まないλ式のこと.

計算論を始めとしてλ式λ計算を扱う理論において重要視されている.λ計算において対象をコンビネータのみに制限したものをコンビネータ論理と呼ぶこともある.