Hm, what distinguishes your proposal from the Institute for Advanced Study, which spawned (among others) Homotopy Type Theory?
Maybe; I am not familiar with details. But if something similar worked, it might work again, that’s good news.
Hm, what distinguishes your proposal from the Institute for Advanced Study, which spawned (among others) Homotopy Type Theory?
Maybe; I am not familiar with details. But if something similar worked, it might work again, that’s good news.