Media type: E-Article Title: Deductive Systems and Coherence for Skew Prounital Closed Categories Contributor: Uustalu, Tarmo; Veltri, Niccolò; Zeilberger, Noam Published: Open Publishing Association, 2021 Published in: Electronic Proceedings in Theoretical Computer Science, 332 (2021), Seite 35-53 Language: English DOI: 10.4204/eptcs.332.3 ISSN: 2075-2180 Origination: Footnote: Access State: Open Access