RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
19 июня 2021 г.
12:30
, г. Москва, online
A labelled sequent calculus for HYPE
E. La Rosa
Язык доклада:
английский
©
МИАН
, 2026
