RUS
ENG
Full version
PEOPLE
Slavnov Sergey
Presentations in Math-Net.Ru
Indexed Lambek calculus with movement
S. Slavnov
April 15, 2025
16:00
©
Steklov Math. Inst. of RAS
, 2026
