Burnistov Artem Sergeevich

Publications in Math-Net.Ru

1. Computable functionals of finite types in Montague semantics
   
   Sib. Èlektron. Mat. Izv., 21:2 (2024),  1460–1472
2. Inner constructivizability of functional structures
   
   Algebra Logika, 61:1 (2022),  23–41