TY  - RPRT
TI  - Deductive Systems and Coherence for Skew Prounital Closed Categories
AU  - Tarmo Uustalu
AU  - Niccolò Veltri
AU  - Noam Zeilberger
PY  - 2021
DO  - 10.4204/eptcs.332.3
UR  - https://arxiv.org/abs/2101.03809
ID  - 2101.03809
ER  -