Комбинаторная логика

Комбина́торная ло́гика — раздел дискретной математики, который тесно связан с λ-исчислением, т. к. описывает вычислительные процессы. Разработан Мозесом Шёнфинкелем и Хаскеллом Карри.

См. также

• λ-исчисление
• Функциональное программирование