[logic-ml] Segal types and Rezk types

logic logic at math.tsukuba.ac.jp
Wed May 4 22:41:32 JST 2022

Previous message (by thread): [logic-ml] modalities in homotopy type theory
Next message (by thread): [logic-ml] models for univalence
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


https://zbmath.org/pdf/1437.18016.pdf


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

Previous message (by thread): [logic-ml] modalities in homotopy type theory
Next message (by thread): [logic-ml] models for univalence
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list