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

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