RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Крыштапович Виктор Сергеевич
Публикации в базе данных Math-Net.Ru
Localized Lama gradual typing
Труды ИСП РАН
,
33
:3 (2021),
61–76
©
МИАН
, 2024