Urs Schreiber : what is #HoTT good for ?

La situation est comparée à la bulle des valeurs technologiques au début des anñées 2000, par Urs Schreiber, un grand Savant très engagé justement dans HoTT, notamment autour des liens avec la physique:

https://golem.ph.utexas.edu/category/2012/05/what_is_homotopy_type_theory_g.html

Advertisements
This entry was posted in homotopy type theory and tagged . Bookmark the permalink.