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
Січень
04

            Scientific and Educational Center of the Bogolyubov Institute for Theoretical Physics

                                              Taras Shevchenko National University of Kyiv

_________________________________________________________

Introduction to homotopy type theory

Yu. Bespalov  (BITP)

 

         January  30, Friday, 14-00,  rm. 221                                   

(Bogolyubov Institute for Theoretical Physics of the National Academy of Sciences of Ukraine)

)