Natural deduction and coherence for non-symmetric linearly distributive categories. Schneck, Robert R. (1999) Theory and Applications of Categories [electronic only]