Introduction to homotopy type theory

            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)

)