@article{oai:tsukuba.repo.nii.ac.jp:00054716,
 author = {西村, 泰一 and NISHIMURA, Hirokazu},
 journal = {Zentralblatt MATH},
 month = {},
 title = {a review of Univalent polymorphism by van den Berg, Benno},
 year = {2020},
 yomi = {ニシムラ, ヒロカズ}
}