Introduction to homotopy type theory

Науково-освітній центр

Інституту теоретичної фізики імені  М.М. Боголюбова НАН України

Фізичний факультет

Київського національного університету імені Тараса Шевченка

Лекційні  курси  з  математичної фізики

            30  січня

Introduction to homotopy type theory

Yu. Bespalov  (BITP)

           30 січня, п‘ятниця, 14-00,  ауд. 221  (ІТФ  ім. М.М.Боголюбова НАН України)