uustalu-2021-deductive:
  type: article
  title: Deductive Systems and Coherence for Skew Prounital Closed Categories
  author:
  - Uustalu, Tarmo
  - Veltri, Niccolò
  - Zeilberger, Noam
  date: 2021-01
  page-range: 35-53
  url: http://dx.doi.org/10.4204/eptcs.332.3
  serial-number:
    doi: 10.4204/eptcs.332.3
    issn: 2075-2180
  parent:
    type: periodical
    title: Electronic Proceedings in Theoretical Computer Science
    publisher: Open Publishing Association
    volume: 332