摘要
J.Baez和J.Erbele。 2015年，受控类别。 类别30的理论与应用（2015），836--881。 谷歌学者 
F.Bonchi、F.Gadducci、A.Kissinger、P.Sobocien ski和F.Zanasi。 2016.重写模对称单体结构。 2016年LICS。 美国医学会，710--719。 谷歌学者 数字图书馆 
F.Bonchi、F.Gadducci、A.Kissinger、P.Sobociński和F.Zanasi。 2017.图形重写与接口的融合。 2017年员工持股计划（LNCS），第10201卷。 斯普林格，141-169。 谷歌学者 数字图书馆 F.Bonchi、P.Sobocinnski和F.Zanasi。 2014.信号流图的分类语义。 CONCUR 2014（LNCS），第8704卷。 施普林格，435--450。 谷歌学者 F.Bonchi、P.Sobocinnski和F.Zanasi。 2014.相互作用的双代数是Frobenius。 FoSSaCS 2014（LNCS），第8412卷。 斯普林格，351-365。 谷歌学者 F.Bonchi、P.Sobocinnski和F.Zanasi。 2015.信号流图的完全抽象。 在POPL 2015中。 美国医学会，515--526。 谷歌学者 数字图书馆 F.Bonchi、P.Sobocinnski和F.Zanasi。 2017.信号流图演算I：流上的线性关系。 信息与计算252（2017），2--29。 谷歌学者 数字图书馆 F.Bonchi、P.Sobocinnski和F.Zanasi。 2017.相互作用的Hopf代数。 《纯粹与应用代数杂志》221，1（2017），144--184。 谷歌学者 交叉引用 
R.Bruni和F.Gadducci。 2001.跨度的一些代数定律（以及它们与多关系的联系）。 在RelMiS 2001（ENTCS）第44卷（3）中。 爱思唯尔，175-193。 谷歌学者 R.Bruni、I.Lanese和U.Montanari，2006年。 无状态连接符的基本代数。 理论计算机科学366，1-2（2006），98-120。 谷歌学者 数字图书馆 A.卡博尼和R.F.C.沃尔特斯。 1987.笛卡尔双范畴I.《纯粹与应用代数杂志》49，1-2（1987），11-32。 谷歌学者 交叉引用 B.科克和R.邓肯。 2008.相互作用的量子观测。 ICALP 2008（LNCS），第5216卷。 施普林格，298--310。 谷歌学者 数字图书馆 B.科克和A.基辛格。 2016.描绘量子过程。 量子理论和图解推理第一课程。 剑桥大学出版社。 谷歌学者 A.Corradini、U.Montanari、F.Rossi、H.Ehrig、R.Heckel和M.Loewe。 1997年，图变换的代数方法，第一部分：基本概念和双推出方法。 在《图形语法和图形变换计算手册》第1卷：基础。 世界科学，163-246。 谷歌学者 数字图书馆 B.方。 2016.开放互联系统代数。 博士论文。 牛津大学。 谷歌学者 B.Fong、P.Rapisarda和P.Sobocien ski。 2016.开放互联动力系统的分类方法。 2016年LICS。 美国医学会，495--504。 谷歌学者 数字图书馆 B.Fong和F.Zanasi。 2017年，（共同）关系的普遍构建。 CALCO 2017（LIPIcs），第72卷。 莱布尼茨-中央情报局，12.1-12.6。 谷歌学者 F.Gadducci和R.Heckel。 1998年。图变换的归纳观点。 WADT 1997（LNCS），第1376卷。 施普林格，223-237。 谷歌学者 数字图书馆 D.R.Ghica、A.Jung和A.Lopez。 2017.数字电路的图表语义。 CSL 2017（LIPIcs），第82卷。 莱布尼兹·泽特鲁姆·福尔·Informatik，24:1--24:16。 谷歌学者 E.Jeandel、S.Perdrix和R.Vilmart。 2018年，Clifford+T量子力学ZX演算的完整公理化。 2018年LICS。 ACM。 谷歌学者 数字图书馆 P.Katis、N.Sabadini和R.F.C.Walters。 1997.跨度（图）：过渡系统的代数。 AMAST 1997（LNCS），第1349卷。 施普林格，322-336。 谷歌学者 数字图书馆 A.基辛格和V.扎姆季耶夫。 2015.Quantomatic：图表推理的证明助手。 CADE 2015（LNCS），第9195卷。 施普林格，326--336。 谷歌学者 S.莱克和P.索波辛斯基。 2005.粘合剂和准粘合剂类别。 理论信息学与应用39，3（2005），511--546。 谷歌学者 交叉引用 D.Marsden和F.Genovese。 2017.通过广义关系自定义超图类别。 CALCO 2017（LIPIcs），第72卷。 莱布尼兹·泽特鲁姆·福尔·Informatik，17:1--17:16。 谷歌学者 K.F.Ng和Q.Wang。 2017年，ZX-演算全面完成。 CoRR abs/1706.09877（2017）。 谷歌学者 D.巴甫洛维奇。 2013.单体计算机I：通过字符串图进行基本计算。 信息与计算226（2013），94--116。 谷歌学者 交叉引用 M.Sadrzadeh、S.Clark和B.Coecke。 2013年《弗罗贝尼厄斯词义剖析I：主语和宾语关系代词》。 《逻辑与计算杂志》23，6（2013），1293--1317。 谷歌学者 交叉引用 P.塞林格。 2011.单体类别图形语言调查。 施普林格物理学讲稿13，813（2011），289--355。 谷歌学者 D.I.Spivak和J.Tan。 2017.动态系统和模式相关网络的嵌套。 复杂网络5，3（2017），389--408。 谷歌学者 F.Zanasi。 2015.相互作用的霍普夫代数：线性系统理论。 博士论文。 里昂师范学院。 谷歌学者 F.Zanasi。 2016.部分等价关系代数。 在MFPS 2016（ENTCS），第325卷。 爱思唯尔，313-333。 谷歌学者 交叉引用 F.Zanasi。 2017.在自由超图类别中重写。 在 GAM@ETAPS（预计到达时间） 2017年（EPTCS），第263卷。 开放出版协会，16-30。 谷歌学者
