Кудасов Николай Дмитриевич Россия, Казань Степень специалист Область научных интересов теория языков программирования функциональное программирования теория типов теория категорий Место работы и должность Университет Иннополис — старший преподаватель Адрес электронной почты n.kudasov@innopolis.ru nickolay.kudasov@gmail.com
Абунегм А.., Кудасов Н.Д. Реализация языкового сервера для интерактивного доказателя теорем Rzk // Системная информатика. — 2023. — № 22. — С. 45-50
