[logic-ml] Type theoretical approaches to opetopes

logic logic at math.tsukuba.ac.jp
Sat Sep 17 07:11:54 JST 2022

Previous message (by thread): [logic-ml] elements of higher category theory
Next message (by thread): [logic-ml] unique key Horn functions
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

https://zbmath.org/pdf/07567918.pdf


  にしむら
   https://www.researchgate.net/profile/Hirokazu-Nishimura
   
https://www.youtube.com/watch?v=HZpVIi3IWhs&list=RDHZpVIi3IWhs&start_radio=1

Previous message (by thread): [logic-ml] elements of higher category theory
Next message (by thread): [logic-ml] unique key Horn functions
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list