RUS  ENG
Full version
SEMINARS


April 15, 2025 16:00, Steklov Mathematical Institute, Room 303 (8 Gubkina)


Indexed Lambek calculus with movement

S. Slavnov

Moscow Institute of Electronics and Mathematics — Higher School of Economics


https://youtu.be/aP0ahAGW6vU


© Steklov Math. Inst. of RAS, 2026