线性逻辑范畴归约系统合流的语义证明
范畴论
2021-05-04 v1 编程语言
摘要
我们验证了先前论文中引入的线性范畴重写演算的合流结果。结合其中已证明的终止结果，建立了线性范畴的广义 coherence 定理。即，我们获得了判断两个态射在某一等价意义下是否相等的方法。
引用
@article{arxiv.2105.00399,
title = {Semantic Proof of Confluence of the Categorical Reduction System for Linear Logic},
author = {Ryu Hasegawa},
journal= {arXiv preprint arXiv:2105.00399},
year = {2021}
}