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

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

Несколько примеров доказательства по индукции.
Диалог «что такое тип?».
Единственность типа терма, типизируемость подтермов.
Рекомендации по теме
join shbcf.ru