Базис S, K, I

From Традиция
Jump to navigation Jump to search

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