%0 Journal Article
%A Ryu Hasegawa
%T A Categorical Reduction System for Linear Logic
%J Theory and applications of categories
%D 2020
%P 1833-1870
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2020_35_a49/
%G en
%F TAC_2020_35_a49