Дневной 24 часа 24 ч. 1 27 февраля 2011—22 мая 2011 Системы типизации лямбда-исчисления Бесплатно Организатор: Computer Science клуб