[kisoron-ml] injective types in univalent mathematics

logic logic at math.tsukuba.ac.jp
Sat Jan 29 08:57:27 JST 2022


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

https://zbmath.org/pdf/07408497.pdf


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




More information about the Kisoron-ml mailing list