City: Saint-Petersburg Kazan Language: Русский English

Денис Николаевич Москвин

СПбАУ РАН

Доцент кафедры математических и информационных технологий СПбАУ РАН

Интересы: функциональные языки программирования и их системы типов.

Course offerings

Course Semester
Systems of typed lambda calculi spring 2011
Type inhabitation problems and their decidability autumn 2017

Photos