%0 Journal Article
%A Robert R. Schneck
%T Natural deduction and coherence 
for non-symmetric linearly distributive categories
%J Theory and applications of categories
%D 1999
%P 105-146
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_1999_6_a8/
%G en
%F TAC_1999_6_a8