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