hard
Основы лямбда-исчисления
Введение в формальную систему описания вычислений.
📝 প্রম্পট বিষয়বস্তু
Предоставьте теоретический обзор лямбда-исчисления. Определите синтаксис лямбда-термов, понятия альфа-конверсии, бета-редукции и эта-конверсии. Объясните понятие нормальной формы и стратегии редукции.