[kisoron-ml] Lambek's syntactic calculus

logic logic at math.tsukuba.ac.jp
Wed Jun 22 17:09:33 JST 2022


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


https://zbmath.org/pdf/07440902.pdf


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




More information about the Kisoron-ml mailing list