Комбинатор (комбинаторная логика)

Комбинатор — в комбинаторной логике объект исчисления. Комбинатор имеет наименование и обладает комбинаторной характеристикой.

См. также

• Суперкомбинатор