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