A PHP Error was encountered

Severity: Notice

Message: Undefined index: base_url

Filename: core/Config.php

Line Number: 67

Introduction to homotopy type theory — Scientific and Educational Center
Українською 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  (ІТФ  ім. М.М.Боголюбова НАН України)