RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Москвин Денис Николаевич
Публикации в базе данных Math-Net.Ru
О некоторых перечислительных задачах лямбда-исчисления
Зап. научн. сем. ПОМИ
,
475
(2018),
99–121
©
МИАН
, 2026
