Бурнистов Артём Сергеевич

Публикации в базе данных Math-Net.Ru

1. Computable functionals of finite types in Montague semantics
   
   Сиб. электрон. матем. изв., 21:2 (2024),  1460–1472
2. О внутренней конструктивизируемости функциональных структур
   
   Алгебра и логика, 61:1 (2022),  23–41