Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01281219
Higher-dimensional linear rewriting and coherence in categorification and representation theory, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01896102
Coherence of string rewriting systems by decreasingness, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01676936
On algebras which are connected with the semisimple continuous groups, Annals of Mathematics, vol.38, issue.4, pp.857-872, 1937. ,
On the definition of heisenberg category, Algebraic Combinatorics, vol.1, issue.4, pp.523-544, 2018. ,
Higher-dimensional word problems with applications to equational logic, 4th Summer Conference on Category Theory and Computer Science, vol.115, pp.43-62, 1991. ,
Webs and quantum skew howe duality, Mathematische Annalen, vol.360, issue.1, pp.351-390, 2014. ,
Introduction to linear bicategories, The Lambek Festschrift: mathematical structures in computer science, vol.10, pp.165-203, 1997. ,
Termination of rewriting, J. Symb. Comput, vol.3, issue.1-2, pp.69-115, 1987. ,
Proving termination with multiset orderings, Automata, languages and programming, vol.71, pp.188-202, 1979. ,
Coherent confluence modulo relations and double groupoids, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01898868
Algebraic polygraphs modulo and linear rewriting. in preparation, 2019. ,
Light ladders and clasp conjectures, 2015. ,
Termination orders for three-dimensional rewriting, J. Pure Appl. Algebra, vol.207, issue.2, pp.341-371, 2006. ,
, Convergent presentations and polygraphic resolutions of associative algebras, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01006220
Higher-dimensional categories with finite derivation type, Theory Appl. Categ, vol.22, issue.18, pp.420-478, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00326974
Higher-dimensional normalisation strategies for acyclicity, Adv. Math, vol.231, issue.3-4, pp.2294-2351, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00531242
Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-00932845
Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach, vol.27, issue.4, pp.797-821, 1980. ,
A basis theorem for the affine oriented Brauer category and its cyclotomic quotients, 2014. ,
, Planar algebras, I, 1999.
Completion of a set of rules modulo a set of equations, Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '84, pp.83-92, 1984. ,
A diagrammatic approach to categorification of quantum groups I, 2008. ,
A diagrammatic approach to categorification of quantum groups III, 2008. ,
Heisenberg algebra and a graphical calculus, Fundamenta Mathematicae, vol.225, issue.0, pp.169-210, 2014. ,
Towards an algebraic theory of boolean circuits, Journal of Pure and Applied Algebra, vol.184, issue.2, pp.257-310, 2003. ,
On proving term rewriting systems are noetherian, 1979. ,
An introduction to diagrammatic algebra and categorified quantum sl(2), Bull. Inst. Math. Acad. Sin. (N.S.), vol.7, issue.2, pp.165-270, 2012. ,
, , 2008.
Braids, link polynomials and a new algebra, vol.313, pp.249-249, 1989. ,
String diagrams and categorification, 2018. ,
Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976. ,
The algebra of oriented simplexes, J. Pure Appl. Algebra, vol.49, issue.3, pp.283-335, 1987. ,
Relations between the 'percolation' and 'colouring' problem and other graph-theoretical problems associated with regular planar lattices: Some exact results for the 'percolation' problem, Proceedings of the Royal Society of London. Series A, vol.322, pp.251-280, 1549. ,
Confluence by decreasing diagrams, Theor. Comput. Sci, vol.126, issue.2, pp.259-280, 1994. ,