Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection



Logical Perspectives 2021: Summer School and Workshop
June 19, 2021 15:30–16:00, Logical Perspectives 2021 Workshop, Moscow, online 		 

Ideas of metagraph-based types

Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev
Supplementary materials:
Adobe PDF 4.7 Mb
Adobe PDF 1.3 Mb




Supplementary materials: workshop_gapanyuk_nardid_zuev.pdf (4.7 Mb) , workshop_gapanyuk_nardid_zuev_slides.pdf (1.3 Mb)

Language: English
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025