hard
Основы лямбда-исчисления
Введение в формальную систему описания вычислений.
📝 Contenido del prompt
Предоставьте теоретический обзор лямбда-исчисления. Определите синтаксис лямбда-термов, понятия альфа-конверсии, бета-редукции и эта-конверсии. Объясните понятие нормальной формы и стратегии редукции.