[logic-ml] models for univalence

logic logic at math.tsukuba.ac.jp
Wed May 11 22:21:37 JST 2022

Previous message (by thread): [logic-ml] Segal types and Rezk types
Next message (by thread): [logic-ml] univalence models for equivariant homotopy theory over a compact Lie group
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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


https://zbmath.org/pdf/1362.03008.pdf


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

Previous message (by thread): [logic-ml] Segal types and Rezk types
Next message (by thread): [logic-ml] univalence models for equivariant homotopy theory over a compact Lie group
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list