Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic

Ryu Hasegawa

We verify a confluence result for the rewriting calculus of the linear category introduced in our previous paper. Together with the termination result proved therein, the generaliz…