Персоналии RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB     Крыштапович Виктор Сергеевич https://www.mathnet.ru/rus/person182488 Список публикаций на Google Scholar https://orcid.org/0000-0002-3941-6201 Публикации в базе данных Math-Net.Ru Цитирования 2021 1. V. S. Kryshtapovich, “Localized Lama gradual typing”, Труды ИСП РАН, 33:3 (2021),  61–76   Организации Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики