@article{oai:tsukuba.repo.nii.ac.jp:00054569, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {Zentralblatt MATH}, month = {}, title = {a review of Modal homotopy type theory. The prospect of a new logic for philosophy by Corfield, David}, year = {2020}, yomi = {ニシムラ, ヒロカズ} }