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

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