粘性范畴的规则代数
摘要
出版物: -
arXiv电子打印 发布日期: 2018年7月 内政部: -
10.48550/arXiv.1807.00785 arXiv: -
arXiv:1807.00785 书目代码: -
2018年11月18日第80700785B期 关键词: -
计算机科学-计算机科学中的逻辑; 计算机科学-离散数学; 数学-组合数学; 数学-范畴理论; 16B50; 60J27; 68Q42(初级)60J28; 16B50; 05E99(次级); F.4.2; G.3; G.2.2款
电子打印: 《计算机科学中的逻辑方法》第16卷第3期(2020年7月3日)lmcs:5164