@article{oai:tsukuba.repo.nii.ac.jp:02001757, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {zbMATH Open}, month = {}, title = {a review of The simplicial model of univalent foundations (after Voevodsky) by Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu}, year = {2021}, yomi = {ニシムラ, ヒロカズ} }