![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Буду со следующего воскресенья (27.02.2011) читать в Computer Science клубе при ПОМИ РАН читать курс Системы типизации лямбда-исчисления.
( Read more... )
Обратите внимание, что лекции будут некоторое время в Академическом университете, на Фонтанке - ремонт (подробности - по первой ссылке).
( Read more... )Обратите внимание, что лекции будут некоторое время в Академическом университете, на Фонтанке - ремонт (подробности - по первой ссылке).
