Комбинатор K
Перейти к навигации
Перейти к поиску
Комбинатор K (канцеллятор) — один из комбинаторов в комбинаторной логике, чья комбинаторная характеристика выглядит следующим образом:
Входит во многие комбинаторные базисы, в первую очередь в базис S, K.
В λ-исчислении этот комбинатор выражается следующим образом: