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