#ТЯП, лекция 11, часть 2

Курс «CS301. Теория языков программирования», институт математики, механики и компьютерных наук им. И.И. Воровича, Южный федеральный университет Бета-редукция термов лямбда-исчисления, стратегии редукции. Операционная семантика лямбда-исчисления для стратегии вызова по значению.