2024-03-28T19:55:52Z
https://tsukuba.repo.nii.ac.jp/oai
oai:tsukuba.repo.nii.ac.jp:02001757
2024-03-15T07:47:04Z
117:478
3:2651:1693
a review of The simplicial model of univalent foundations (after Voevodsky) by Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu
西村, 泰一
ニシムラ, ヒロカズ
NISHIMURA, Hirokazu
open access
© 2021 FIZ Karlsruhe GmbH
FIZ Karlsruhe, the European Mathematical Society and the Heidelberg Academy of Sciences and Humanities
2021
eng
article
http://hdl.handle.net/2241/0002001757
https://tsukuba.repo.nii.ac.jp/records/2001757
https://zbmath.org/07357368
Zbl 07357368
zbMATH Open
https://tsukuba.repo.nii.ac.jp/record/2001757/files/07357368.pdf
application/pdf
2021-11-02