[logic-ml] elements of higher category theory

logic logic at math.tsukuba.ac.jp
Thu Sep 1 03:10:52 JST 2022


  次の本をreviewしましたので、
   御案内しておきます。


https://zbmath.org/?q=an%3A7401241


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




More information about the Logic-ml mailing list