Лекция 22: Формальная семантика языков функционального программирования,
и 21
А есть материалы курса (презентации) по каждому уроку, А то на видео не видно, что происходит на экране
