用于乘法-加法线性逻辑的语言
范畴论
2010-03-03 v1 逻辑
摘要
我们引入了一种用于乘法-加法线性逻辑中证明的项演算，并将其作为基于信道的并发性的编程语言加以动机说明。该项错误演算被证明在具有加法的线性分配范畴的语义下是完备的。我们还通过表明割消重写给出了一个模方程的合流重写系统，证明了证明等价是可判定的。
引用
@article{arxiv.math/0404286,
title = {A language for multiplicative-additive linear logic},
author = {J. R. B. Cockett and C. A. Pastro},
journal= {arXiv preprint arXiv:math/0404286},
year = {2010}
}
备注
16 pages without appendices, 30 with appendices