Сигнатура комбинатора

Сигнатура комбинатора — в комбинаторной логике левая часть в записи комбинаторной характеристики, которая состоит из наименования комбинатора и списка параметров, с которыми работает комбинатор. Например, в записи комбинаторной характеристики комбинатора K:

$Kxy = x$,

сигнатурой является часть $Kxy$.