RUS
ENG
Full version
VIDEO LIBRARY
Logical Perspectives 2021: Summer School and Workshop
June 19, 2021
15:30
, Moscow, online
Ideas of metagraph-based types
Yu. E. Gapanyuk
, A. N. Nardid
, D. A. Zuev
Language:
English
©
Steklov Math. Inst. of RAS
, 2024
