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

[deniok]

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

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

Comments

[deni-ok.livejournal.com]

Презентации в pdf есть здесь
http://logic.pdmi.ras.ru/csclub/courses/systemsoftypedlambdacalculi

[enerjazzer.livejournal.com]

премного благодарен!