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