M. Abadi, L. Cardelli, P.-L. Curien & J.-J. Lévy (1991):
Explicit substitutions.
J. Funct. Programming 1(4),
pp. 375–416,
doi:10.1017/S0956796800000186.
S. Abramsky (2007):
Temperley-Lieb algebra: from knot theory to logic and computation via quantum mechanics.
In: L. Kauffman & S.J. Lomonaco: Mathematics of Quantum Computing and Technology.
Taylor&Francis,
pp. 415–458,
doi:10.1201/9781584889007.
E. Artin (1925):
Theorie der Zöpfe.
Abh. Math. Sem. Univ. Hamburg 4,
pp. 47–72,
doi:10.1007/BF02950718.
E. Artin (1947):
Theory of braids.
Ann. of Math. 48,
pp. 101–126,
doi:10.2307/1969218.
A. Fleury (2003):
Ribbon braided multiplicative linear logic.
Mat. Contemp. 24,
pp. 39–70.
M. Hasegawa (2009):
On traced monoidal closed categories.
Mathematical Structures in Computer Science 19(2),
pp. 217–244,
doi:10.1017/S0960129508007184.
M. Hasegawa (2012):
A quantum double construction in Rel.
Mathematical Structures in Computer Science 22(4),
pp. 618–650,
doi:10.1017/S0960129511000703.
A. Joyal & R.H. Street (1993):
Braided tensor categories.
Adv. Math. 102(1),
pp. 20–78,
doi:10.1006/aima.1993.1055.
C. Kassel & V.G. Turaev (2008):
Braid Groups.
Graduate Texts in Mathemtics 247.
Springer-Verlag,
doi:10.1007/978-0-387-68548-9.
A. Kitaev (2003):
Fault-tolerant quantum computation by anyons.
Annals of Physics 303,
pp. 3–20,
doi:10.1016/S0003-4916(02)00018-0.
P.-A. Melliès (2018):
Ribbon tensorial logic.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2018).
ACM,
pp. 689–698,
doi:10.1145/3209108.3209129.
PRO in nLab.
https://ncatlab.org/nlab/show/PRO.
M.C. Shum (1994):
Tortile tensor categories.
J. Pure Appl. Algebra 93(1),
pp. 57–110,
doi:10.1016/0022-4049(92)00039-T.
H. Tomita (2021):
Realizability without symmetry.
In: Proceedings of the 29th EACSL Annual Conference on Computer Science Logic (CSL2021),
LIPIcs 183,
pp. 38:1–38:16,
doi:10.4230/LIPIcs.CSL.2021.38.
V.G. Turaev (1994):
Quantum Invariants of Knots and 3-Manifolds.
Studies in Mathematics 18.
De Gruyter,
doi:10.1515/9783110435221.
J.H.C. Whitehead (1949):
Combinatorial homotopy, II.
Bulletin of the American Mathematical Society 55,
pp. 453–496,
doi:10.1090/S0002-9904-1949-09213-3.
N. Zeilberger & A. Giorgetti (2015):
A correspondence between rooted planar maps and normal planar lambda terms.
Logical Methods in Computer Science 11(3),
pp. 1–39,
doi:10.2168/LMCS-11(3:22)2015.
eptcs@eptcs.org