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

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