Представьте теоретические основы лямбда-исчисления как формальной системы. Объясните понятия абстракции, применения и переменных. Опишите процессы альфа-конверсии и бета-редукции. Объясните, как с помощью примитивов лямбда-исчисления можно представлять числа и логические операции (булеву алгебру).