Українською In English

Introduction to homotopy type theory




2015
Січень
30

Introduction to homotopy type theory




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

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

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

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





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

            30  січня

Introduction to homotopy type theory

Yu. Bespalov  (BITP)

 

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