[logic-ml] Lambek calculi

logic logic at math.tsukuba.ac.jp
Thu Oct 27 11:29:05 JST 2022


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

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


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



More information about the Logic-ml mailing list