@article{oai:tsukuba.repo.nii.ac.jp:02001144, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {zbMATH Open}, month = {}, title = {a review of Composing dinatural transformations: towards a calculus of substitution by McCusker, Guy; Santamaria, Alessio}, year = {2021}, yomi = {ニシムラ, ヒロカズ} }