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

[deniok]

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

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

Comments

[enerjazzer.livejournal.com]

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