Видеотека: Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev, Ideas of metagraph-based types

ВИДЕОТЕКА


Logical Perspectives 2021: Summer School and Workshop 19 июня 2021 г. 15:30, г. Москва, online

Ideas of metagraph-based types Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev
Язык доклада: английский