Анонс

Буду со следующего воскресенья (27.02.2011) читать в Computer Science клубе при ПОМИ РАН читать курс Системы типизации лямбда-исчисления.

( Read more... )

Обратите внимание, что лекции будут некоторое время в Академическом университете, на Фонтанке - ремонт (подробности - по первой ссылке).