@article{oai:tsukuba.repo.nii.ac.jp:02002536, author = {西村, 泰一 and NISHIMURA, Hirokazu}, journal = {zbMATH Open}, month = {}, title = {a review of Proof theory of partially normal skew monoidal categories by Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam}, year = {2022}, yomi = {ニシムラ, ヒロカズ} }