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

serj_aleks

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

Feb 25, 2013 14:48

Посмотреть видео на сайте Лекториума
http://www.lektorium.tv/speaker/?id=2891

Концепты, Моделирование, Технологии, Инварианты, Идеи

Leave a comment

Previous post

Next post