[logic-ml] cubical type theory

logic logic at math.tsukuba.ac.jp
Fri Apr 15 08:38:16 JST 2022

Previous message (by thread): [logic-ml] Logic4Peace (Call for Abstracts and Registration, Fundraising online Logic event for Peace, Deadline 11 April 2022)
Next message (by thread): [logic-ml] 第46回量子情報技術研究会 (QIT46)：口頭講演締切延長(4/30まで)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


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

にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura

Previous message (by thread): [logic-ml] Logic4Peace (Call for Abstracts and Registration, Fundraising online Logic event for Peace, Deadline 11 April 2022)
Next message (by thread): [logic-ml] 第46回量子情報技術研究会 (QIT46)：口頭講演締切延長(4/30まで)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list