Базис S, K, I

Материал из свободной русской энциклопедии «Традиция»
(перенаправлено с «Базис SKI»)
Перейти к: навигация, поиск

Базис S, K, I — расширение традиционного комбинаторного базиса S, K при помощи добавления в него комбинатора тождества I. Используется для уменьшения количества базовых комбинаторов в выражениях оных через базовые.