Начало см. здесь и здесь.

По поводу лямбда - исчисления и комбинаторной логики см. здесь.
По поводу комбинатора B см. https://en.wikipedia.org/wiki/B,_C,_K,_W_system.

Базовая схема редукции для комбинатора B:

Расширенная функциональная цепочка базового УСК степени 3 имеет следующий вид:

Расширенная функциональная цепочка базового УСК степени 3 с подставленными в нее комбинаторами B имеет следующий вид:

Редукция этой цепочки к цепочке с использованием базовой схемы редукции для комбинатора B будет выглядеть следующим образом: