[kisoron-ml] proof theory of skew monoidal categories

logic logic at math.tsukuba.ac.jp
Sat Jun 25 02:03:07 JST 2022


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



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


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




More information about the Kisoron-ml mailing list