@book(adamek1994locally,
 author       = "Ji{\v {r}}{\'\i } Ad{\'a}mek and Ji{\v {r}}{\'\i } Rosicky",
 year         = "1994",
 title        = "Locally presentable and accessible categories",
 volume       = "189",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511600579",
)
@inproceedings(beauxis2011non,
 author       = "Romain Beauxis and Samuel Mimram",
 year         = "2011",
 title        = "A Non-Standard Semantics for Kahn Networks in Continuous Time",
 booktitle    = "Computer Science Logic (CSL'11)-25th International Workshop/20th Annual Conference of the EACSL",
 volume       = "12",
 pages        = "35--50",
 doi          = "10.4230/LIPIcs.CSL.2011.35",
)
@inproceedings(benabou1967introduction,
 author       = "Jean B{\'e}nabou",
 year         = "1967",
 title        = "Introduction to bicategories",
 booktitle    = "Reports of the Midwest Category Seminar",
 organization = "Springer",
 pages        = "1--77",
 doi          = "10.1007/BFb0074299",
)
@article(burroni1993higher,
 author       = "Albert Burroni",
 year         = "1993",
 title        = "Higher-dimensional word problems with applications to equational logic",
 journal      = "Theoretical computer science",
 volume       = "115",
 number       = "1",
 pages        = "43--62",
 doi          = "10.1016/0304-3975(93)90054-W",
)
@incollection(fiore2013algebra,
 author       = "Marcelo Fiore and Marco~Devesas Campos",
 year         = "2013",
 title        = "The algebra of directed acyclic graphs",
 booktitle    = "Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky",
 publisher    = "Springer",
 pages        = "37--51",
 doi          = "10.1007/978-3-642-38164-5\_4",
)
@inproceedings(hyland2000symmetric,
 author       = "Martin Hyland and John Power",
 year         = "2000",
 title        = "Symmetric monoidal sketches",
 booktitle    = "Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming",
 organization = "ACM",
 pages        = "280--288",
 doi          = "10.1145/351268.351299",
)
@article(joyal1991geometry,
 author       = "Andr{\'e} Joyal and Ross Street",
 year         = "1991",
 title        = "The geometry of tensor calculus, I",
 journal      = "Advances in Mathematics",
 volume       = "88",
 number       = "1",
 pages        = "55--112",
 doi          = "10.1016/0001-8708(91)90003-P",
)
@article(lack2004composing,
 author       = "Stephen Lack",
 year         = "2004",
 title        = "Composing PROPs",
 journal      = "Theory and Applications of Categories",
 volume       = "13",
 number       = "9",
 pages        = "147--163",
)
@article(lafont2003towards,
 author       = "Yves Lafont",
 year         = "2003",
 title        = "Towards an algebraic theory of boolean circuits",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "184",
 number       = "2",
 pages        = "257--310",
 doi          = "10.1016/S0022-4049(03)00069-0",
)
@article(maclane1965categorical,
 author       = "Saunders MacLane",
 year         = "1965",
 title        = "Categorical algebra",
 journal      = "Bulletin of the American Mathematical Society",
 volume       = "71",
 number       = "1",
 pages        = "40--106",
 doi          = "10.1090/S0002-9904-1965-11234-4",
)
@book(maclane:cwm,
 author       = "Saunders MacLane",
 year         = "1998",
 title        = "Categories for the Working Mathematician",
 series       = "Graduate Texts in Mathematics",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4757-4721-8",
)
@incollection(mellies2007asynchronous,
 author       = "Paul-Andr{\'e} Melli{\`e}s and Samuel Mimram",
 year         = "2007",
 title        = "Asynchronous games: innocence without alternation",
 booktitle    = "CONCUR 2007--Concurrency Theory",
 publisher    = "Springer",
 pages        = "395--411",
 doi          = "10.1007/978-3-540-74407-8\_27",
)
@phdthesis(mimram:phd,
 author       = "Samuel Mimram",
 year         = "2008",
 title        = "S\IeC {\'e}mantique des jeux asynchrones et r\IeC {\'e}\IeC {\'e}criture 2-dimensionnelle",
 school       = "Universit\IeC {\'e} Paris Diderot -- Paris VII",
)
@article(mimram2011structure,
 author       = "Samuel Mimram",
 year         = "2011",
 title        = "The structure of first-order causality",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "21",
 number       = "01",
 pages        = "65--110",
 doi          = "10.1017/S0960129510000459",
)
@article(mimram:trt,
 author       = "Samuel Mimram",
 year         = "2014",
 title        = "{Towards 3-Dimensional Rewriting Theory}",
 journal      = "Logical Methods in Computer Science",
 volume       = "10",
 number       = "2",
 pages        = "1--47",
 doi          = "10.2168/LMCS-10(2:1)2014",
)
@incollection(moerdijk2010dendroidal,
 author       = "Ieke Moerdijk and Bertrand To{\"e}n",
 year         = "2010",
 title        = "Dendroidal sets",
 booktitle    = "Simplicial Methods for Operads and Algebraic Geometry",
 publisher    = "Springer",
 pages        = "23--39",
 doi          = "10.1007/978-3-0348-0052-5\_4",
)
@article(pirashvili2001prop,
 author       = "Teimuraz Pirashvili",
 year         = "2002",
 title        = "On the $ PROP $ corresponding to bialgebras",
 journal      = "Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle Cat{\'e}goriques",
 volume       = "43",
 number       = "3",
 pages        = "221--239",
)
@inproceedings(power1991n,
 author       = "John Power",
 year         = "1991",
 title        = "An $n$-categorical pasting theorem",
 booktitle    = "Category theory",
 organization = "Springer",
 pages        = "326--358",
 doi          = "10.1007/BFb0084230",
)
@article(street1976limits,
 author       = "Ross Street",
 year         = "1976",
 title        = "Limits indexed by category-valued 2-functors",
 journal      = "Journal of Pure and Applied Algebra",
 volume       = "8",
 number       = "2",
 pages        = "149--181",
 doi          = "10.1016/0022-4049(76)90013-X",
)
@article(szpilrajn1930extension,
 author       = "Edward Szpilrajn",
 year         = "1930",
 title        = "Sur l'extension de l'ordre partiel",
 journal      = "Fundamenta mathematicae",
 volume       = "16",
 number       = "1",
 pages        = "386--389",
)
@book(thue1914probleme,
 author       = "Axel Thue",
 year         = "1914",
 title        = "Probleme {\"u}ber Ver{\"a}nderungen von Zeichenreihen nach gegebenen Regeln",
 series       = "Skrifter utg. av Videnskapsselsk. i Kristiania. 1. Matem.-naturv. Klasse",
)
@inproceedings(winskel1995models,
 author       = "Glynn Winskel and Mogens Nielsen",
 year         = "1995",
 title        = "Models for concurrency",
 booktitle    = "Handbook of logic in computer science (vol. 4)",
 organization = "Oxford University Press",
 pages        = "1--148",
)