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