[kisoron-ml] univalent foundations

logic logic at math.tsukuba.ac.jp
Wed Oct 13 22:26:24 JST 2021


Voevodsky (June 1966-September 2017)の遺作というべき
論文をreviewしましたので、
御案内しておきます。

https://zbmath.org/pdf/07357368.pdf

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



More information about the Kisoron-ml mailing list