Валинкин Михаил Валерьевич

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

1. Relational models for the Lambek calculus with local contraction subexponentials
   
   J. Logic Comput., 35:4 (2025),  30–21
2. Варианты субэкспоненциала локального сокращения в исчислении Ламбека
   
   Алгебра и логика, 61:4 (2022),  401–423