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

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