@article{uustalu-2021-deductive, title={Deductive Systems and Coherence for Skew Prounital Closed Categories}, volume={332}, ISSN={2075-2180}, url={http://dx.doi.org/10.4204/eptcs.332.3}, DOI={10.4204/eptcs.332.3}, journal={Electronic Proceedings in Theoretical Computer Science}, publisher={Open Publishing Association}, author={Uustalu, Tarmo and Veltri, Niccolò and Zeilberger, Noam}, year={2021}, month=Jan, pages={35–53} }