[kisoron-ml] higher inductive types

logic logic at math.tsukuba.ac.jp
Fri Sep 24 02:13:16 JST 2021


Math. Proc. Camb. Philos. Soc.に
昨年掲載された次の論文をreviewしましたので、
御案内しておきますね。

https://zbmath.org/pdf/07395401.pdf

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



More information about the Kisoron-ml mailing list