Valinkin Mikhail Valer'evich

Presentations in Math-Net.Ru

1. Relational models for the Lambek calculus with the local contraction subexponential
   M. V. Valinkin, S. L. Kuznetsov
   Seminars "Proof Theory" and "Logic Online Seminar"
   December 23, 2024 16:00