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
Higher-dimensional word problems with applications to equational logic, TCS, vol.115, issue.1, pp.43-62, 1993. ,
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. ,
On Full Abstraction for PCF: I, II, III. Information and Computation, pp.285-408, 2000. ,
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
Game-theoretical semantics, 1997. ,
Games on Graphs and Sequentially Realizable Functionals, Proceedings of the 17th IEEE Symposium on Logic in Computer Science, pp.257-264, 2002. ,
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
Composing PROPs. Theory and Applications of Categories, pp.147-163, 2004. ,
Equational Reasoning with 2-Dimensional Diagrams. Term Rewriting, pp.170-195, 1995. ,
Towards an Algebraic Theory of Boolean Circuits, J. Pure Appl. Algebra, vol.184, issue.2-3, pp.257-310, 2003. ,
Functorial Semantics of Algebraic Theories and Some Algebraic Problems in the context of Functorial Semantics of Algebraic Theories, 1963. ,
Categorical Algebra, Bulletin of the American Mathematical Society, vol.71, pp.40-106, 1965. ,
Categories for the Working Mathematician. Graduate Texts in Mathematics, 1971. ,
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émantique des jeux asynchrones et réécriture 2- dimensionnelle, 2008. ,
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. ,
Asynchronous Games: Innocence without Alternation, Proceedings of CONCUR'05, pp.395-411, 2007. ,
On the PROP Corresponding to Bialgebras, Cah. Top. Géom. Diff. Cat, vol.43, issue.3, pp.221-239, 2002. ,
The Free Adjunction, pp.81-83, 1986. ,
Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976. ,
Event Structures Advances in Petri Nets, pp.325-392, 1987. ,