J. Baez and L. Langford, Higher-dimensional algebra IV: 2-tangles, Advances in Mathematics, vol.180, issue.2, pp.705-764, 2003.
DOI : 10.1016/S0001-8708(03)00018-5

]. A. Bur93 and . Burroni, Higher-dimensional word problems with applications to equational logic, TCS, vol.115, issue.1, pp.43-62, 1993.

]. D. Ghi07 and . Ghica, Geometry of synthesis: a structured approach to VLSI design, Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.375, 2007.

M. Hyland and L. Ong, On Full Abstraction for PCF: I, II, III. Information and Computation, pp.285-408, 2000.

M. Hyland and J. Power, Symmetric monoidal sketches, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '00, pp.280-288, 2000.
DOI : 10.1145/351268.351299

J. Hintikka and G. Sandu, Game-theoretical semantics, 1997.

M. Hyland and A. Schalk, Games on Graphs and Sequentially Realizable Functionals, Proceedings of the 17th IEEE Symposium on Logic in Computer Science, pp.257-264, 2002.

R. [. Joyal and . Street, The geometry of tensor calculus, I, Advances in Mathematics, vol.88, issue.1, pp.55-113, 1991.
DOI : 10.1016/0001-8708(91)90003-P

]. S. Lac04 and . Lack, Composing PROPs. Theory and Applications of Categories, pp.147-163, 2004.

]. Y. Laf95 and . Lafont, Equational Reasoning with 2-Dimensional Diagrams. Term Rewriting, pp.170-195, 1995.

]. Y. Laf03 and . Lafont, Towards an Algebraic Theory of Boolean Circuits, J. Pure Appl. Algebra, vol.184, issue.2-3, pp.257-310, 2003.

]. F. Law63 and . Lawvere, Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories, 1963.

]. S. Mac65 and . Maclane, Categorical Algebra, Bulletin of the American Mathematical Society, vol.71, pp.40-106, 1965.

]. S. Mac71 and . Maclane, Categories for the Working Mathematician. Graduate Texts in Mathematics, 1971.

]. A. Mas97 and . Massol, Minimality of the system of seven equations for the category of finite sets, Theoretical Computer Science, vol.176, issue.12, pp.347-353, 1997.

]. S. Mim08 and . Mimram, Sémantique des jeux asynchrones et réécriture 2- dimensionnelle, 2008.

]. S. Mim10 and . Mimram, Computing critical pairs in 2-dimensional rewriting systems, Proceedings of the 21st International Conference on Rewriting Techniques and Applications of Leibniz International Proceedings in Informatics (LIPIcs), pp.227-242, 2010.

P. Mellì-es and S. Mimram, Asynchronous Games: Innocence without Alternation, Proceedings of CONCUR'05, pp.395-411, 2007.

]. T. Pir02 and . Pirashvili, On the PROP Corresponding to Bialgebras, Cah. Top. Géom. Diff. Cat, vol.43, issue.3, pp.221-239, 2002.

R. [. Schanuel and . Street, The Free Adjunction, pp.81-83, 1986.

]. R. Str76 and . Street, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976.

]. G. Win87 and . Winskel, Event Structures Advances in Petri Nets, pp.325-392, 1987.