[logic-ml] from categories to homotopy theory

logic logic at math.tsukuba.ac.jp
Wed Jul 21 20:54:52 JST 2021


Cambridge University Pressから
出版された下記の本をreviewしましたので、
御案内しておきます。

https://zbmath.org/pdf/07162761.pdf

にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=378AnxAve9Y



More information about the Logic-ml mailing list