[logic-ml] modalities in homotopy type theory

logic logic at math.tsukuba.ac.jp
Tue May 3 03:02:51 JST 2022


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


https://zbmath.org/pdf/07155169.pdf


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



More information about the Logic-ml mailing list