A categorical reduction system for linear logic

12/02/2019

∙

by   Ryu Hasegawa, et al.

∙

0

∙

share

We build calculus on the categorical model of linear logic. It enables us to perform diagram chasing as essentially one-way computations led by rewriting rules. We verify the termination property of the calculus.