hard
Основы лямбда-исчисления
Введение в формальную систему описания вычислений.
📝 प्रॉम्ट सामग्री
Предоставьте теоретический обзор лямбда-исчисления. Определите синтаксис лямбда-термов, понятия альфа-конверсии, бета-редукции и эта-конверсии. Объясните понятие нормальной формы и стратегии редукции.