Комбинатор S

Комбинатор S (коннектор) — один из комбинаторов в комбинаторной логике, чья комбинаторная характеристика выглядит следующим образом:

$S x y z = x z (y z)$

Входит во многие комбинаторные базисы, в первую очередь в базис S, K.

В λ-исчислении этот комбинатор выражается следующим образом:

$S \equiv \lambda xyz.xz(yz)$