TY  - RPRT
TI  - Proof Theory of Partially Normal Skew Monoidal Categories
AU  - Tarmo Uustalu
AU  - Niccolò Veltri
AU  - Noam Zeilberger
PY  - 2021
DO  - 10.4204/eptcs.333.16
UR  - https://arxiv.org/abs/2101.10487
ID  - 2101.10487
ER  -