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

[deniok]

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

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

Comments

[lomeo.livejournal.com]

О, спасибо! Заценим :)

[kurilka.livejournal.com]

Спасибищи от не особо всё знающих :)

[yantayga.livejournal.com]

Спасибо )

[(Anonymous)]

надо бы это дело на торрент трекер закинуть