[logic-ml] unique key Horn functions

logic logic at math.tsukuba.ac.jp
Wed Sep 21 02:47:10 JST 2022

Previous message (by thread): [logic-ml] Type theoretical approaches to opetopes
Next message (by thread): [logic-ml] four extensions of context-free grammars
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

  https://zbmath.org/pdf/07540203.pdf


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

Previous message (by thread): [logic-ml] Type theoretical approaches to opetopes
Next message (by thread): [logic-ml] four extensions of context-free grammars
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list