Системы типизации лямбда-исчисления: выложено видео

[deniok]

Всем, кто интересовался курсом, который я читаю в Computer Science клубе при ПОМИ РАН.

Лекториум.тв выложило видео первых 6 лекций (ну точнее пяти с половиной, поскольку на третью лекцию они опоздали:)

Comments

[(Anonymous)]

> А то сил нет тормозилово с инета смотреть

позволю себе заметить, что на странице лекции на Лекториуме в плеере справа внизу есть стрелочка - это кнопка для скачивания.

[bik-top.livejournal.com]

> в плеере справа внизу есть стрелочка - это кнопка для скачивания.

А есть ли где-нибудь прямые ссылки (для менеджера закачек)?