TY  - RPRT
TI  - Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic
AU  - Ryu Hasegawa
PY  - 2021
UR  - https://arxiv.org/abs/2105.00399
ID  - 2105.00399
ER  -