コンビネータ論理
コンビネータ項は以下の形式のうち一つを持つ:
x
P
(E1 E2)
xは変数、Pは原始的関数、(E1 E2) は項の適用である。原始的関数はコンビネータ、つまり、ラムダ項として見たときには自由変数を持たない関数である。
表記を短縮するために、伝統的に(E1 E2 E3 ... En)ないしE1 E2 E3 ... Enは(...((E1 E2) E3)...En)を示す。