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

[deniok]

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

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

Comments

[deni-ok.livejournal.com]

ты-то и так всё знаешь ;-)

[lomeo.livejournal.com]

Повторенье - мать ученья! :)