@article(Baez2016, author = {J. C. Baez and B. Fong and B. S. Pollard}, year = {2016}, title = {A compositional framework for {Markov} processes}, journal = {Journal of Mathematical Physics}, volume = {57}, number = {3}, doi = {10.1063/1.4941578}, ) @inproceedings(Benabou1967, author = {J. B{\'e}nabou}, year = {1967}, title = {Introduction to bicategories}, booktitle = {Reports of the Midwest Category Seminar}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, pages = {1--77}, doi = {10.1007/BFb0074299}, ) @article(cg1, author = {S. Castellan and P. Clairambault and S. Rideau and G. Winskel}, year = {2017}, title = {{Games and Strategies as Event Structures}}, journal = {{Logical Methods in Computer Science}}, volume = {{Volume 13, Issue 3}}, doi = {10.23638/LMCS-13(3:35)2017}, ) @phdthesis(corner2016day, author = {Alexander S Corner}, year = {2016}, title = {Day convolution for monoidal bicategories}, school = {University of Sheffield}, ) @incollection(Cruttwell2022, author = {G. S. H. Cruttwell and B. Gavranovi{\'{c}} and N. Ghani and P. Wilson and F. Zanasi}, year = {2022}, title = {Categorical Foundations of Gradient-Based Learning}, booktitle = {Programming Languages and Systems}, doi = {10.1007/978-3-030-99336-8_1}, ) @incollection(Fiadeiro2007, author = {J. L. Fiadeiro and V. Schmitt}, year = {2007}, title = {Structured Co-spans: An Algebra of Interaction Protocols}, booktitle = {Algebra and Coalgebra in Computer Science}, pages = {194--208}, doi = {10.1007/978-3-540-73859-6_14}, ) @article(FioreSpecies, author = {M. Fiore and N. Gambino and M. Hyland and G. Winskel}, year = {2007}, title = {The cartesian closed bicategory of generalised species of structures}, journal = {Journal of the London Mathematical Society}, volume = {77}, number = {1}, pages = {203--220}, doi = {10.1112/jlms/jdm096}, ) @inproceedings(LICS2019, author = {M. Fiore and P. Saville}, year = {2019}, title = {A type theory for cartesian closed bicategories}, booktitle = {34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, doi = {10.1109/LICS.2019.8785708}, ) @inproceedings(Fong2019, author = {B. Fong and D. Spivak and R. Tuyeras}, year = {2019}, title = {Backprop as Functor: A compositional perspective on supervised learning}, booktitle = {34th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science ({LICS})}, doi = {10.1109/lics.2019.8785665}, ) @incollection(Gaboardi2021, author = {M. Gaboardi and S. Katsumata and D. Orchard and T. Sato}, year = {2021}, title = {Graded {Hoare} Logic and its Categorical Semantics}, booktitle = {Programming Languages and Systems}, pages = {234--263}, doi = {10.1007/978-3-030-72019-3_9}, ) @inproceedings(galal-profunctors, author = {Z. Galal}, year = {2020}, title = {A Profunctorial {Scott} Semantics}, booktitle = {5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)}, doi = {10.4230/LIPICS.FSCD.2020.16}, ) @article(Genovese2021, author = {F. R. Genovese and J. Herold and F. Loregian and D. Palombi}, year = {2021}, title = {A Categorical Semantics for Hierarchical {Petri} Nets}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {350}, pages = {51--68}, doi = {10.4204/eptcs.350.4}, ) @book(Gordon1995, author = {R. Gordon and A. J. Power and R. Street}, year = {1995}, title = {Coherence for tricategories}, publisher = {Memoirs of the American Mathematical Society}, doi = {10.1090/memo/0558}, ) @book(Gurski2013, author = {N. Gurski}, year = {2013}, title = {Coherence in Three-Dimensional Category Theory}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781139542333}, ) @article(Gurski2013symmetricbicats, author = {N. Gurski and A. Osorno}, year = {2013}, title = {Infinite loop spaces, and coherence for symmetric monoidal bicategories}, journal = {Advances in Mathematics}, volume = {246}, pages = {1 -- 32}, doi = {10.1016/j.aim.2013.06.028}, ) @inproceedings(DBLP:journals/entcs/HeunenJ06, author = {C. Heunen and B. Jacobs}, year = {2006}, title = {Arrows, like Monads, are Monoids}, booktitle = {22nd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS})}, doi = {10.1016/j.entcs.2006.04.012}, ) @article(Hilken1996, author = {B. P. Hilken}, year = {1996}, title = {Towards a proof theory of rewriting: the simply typed 2{$\lambda$}-calculus}, journal = {Theoretical Computer Science}, volume = {170}, number = {1}, pages = {407--444}, doi = {10.1016/S0304-3975(96)80713-4}, ) @article(Hirschowitz2013, author = {T. Hirschowitz}, year = {2013}, title = {Cartesian closed 2-categories and permutation equivalence in higher-order rewriting}, journal = {Logical Methods in Computer Science}, volume = {9}, pages = {1--22}, doi = {10.2168/LMCS-9(3:10)2013}, ) @article(JanelidzeKelly2001, author = {G. Janelidze and G. M. Kelly}, year = {2001}, title = {A note on actions of a monoidal category}, journal = {Theory and Applications of Categories}, volume = {9}, number = {4}, pages = {61--91}, note = {Available at \url{tac.mta.ca/tac/volumes/9/n4/n4.pdf}.}, ) @article(jeffrey1997premonoidal, author = {A. Jeffrey}, year = {1997}, title = {Premonoidal categories and a graphical view of programs}, ) @inproceedings(Katsumata2014, author = {S. Katsumata}, year = {2014}, title = {Parametric effect monads and semantics of effect systems}, booktitle = {41st {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages (POPL)}, doi = {10.1145/2535838.2535846}, ) @article(Kerinec2023, author = {A. Kerinec and G. Manzonetto and F. Olimpieri}, year = {2023}, title = {Why Are Proofs Relevant in Proof-Relevant Models?}, journal = {Proceedings of the {ACM} on Programming Languages (POPL)}, doi = {10.1145/3571201}, ) @article(Lack2008Icons, author = {S. Lack}, year = {2008}, title = {Icons}, journal = {Applied Categorical Structures}, volume = {18}, number = {3}, pages = {289--307}, doi = {10.1007/s10485-008-9136-5}, ) @book(Leinster2004, author = {T. Leinster}, year = {2004}, title = {Higher operads, higher categories}, series = {London Mathematical Society Lecture Note Series}, volume = {298}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511525896}, ) @book(LevyBook, author = {P. B. Levy}, year = {2003}, title = {Call-By-Push-Value: A Functional/Imperative Synthesis}, publisher = {Springer Netherlands}, doi = {10.1007/978-94-007-0954-6}, ) @article(Levy2003, author = {P. B. Levy and J. Power and H. Thielecke}, year = {2003}, title = {Modelling environments in call-by-value programming languages}, journal = {Information and Computation}, volume = {185}, number = {2}, pages = {182--210}, doi = {10.1016/s0890-5401(03)00088-9}, ) @article(MacLane1985, author = {{Mac Lane}, S. and R. Par{\'e}}, year = {1985}, title = {Coherence for bicategories and indexed categories}, journal = {Journal of Pure and Applied Algebra}, volume = {37}, pages = {59 -- 80}, doi = {10.1016/0022-4049(85)90087-8}, ) @incollection(McDermottFlexible, author = {D. McDermott and T. Uustalu}, year = {2022}, title = {Flexibly Graded Monads and~Graded Algebras}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, pages = {102--128}, doi = {10.1007/978-3-031-16912-0_4}, ) @article(McDermott2022, author = {D. McDermott and T. Uustalu}, year = {2022}, title = {What Makes a Strong Monad?}, journal = {Electronic Proceedings in Theoretical Computer Science}, volume = {360}, pages = {113--133}, doi = {10.4204/eptcs.360.6}, ) @unpublished(Mellies2012, author = {P.-A. Melli{\`e}s}, year = {2012}, title = {Parametric monads and enriched adjunctions}, note = {Available at \url{https://www.irif.fr/~mellies/tensorial-logic/8-parametric-monads-and-enriched-adjunctions.pdf}.}, ) @inproceedings(template-games, author = {P.-A. Melli{\`e}s}, year = {2021}, title = {Asynchronous Template Games and the {Gray} Tensor Product of 2-Categories}, booktitle = {36th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science ({LICS})}, doi = {10.1109/lics52264.2021.9470758}, ) @inproceedings(Moggi1989, author = {E. Moggi}, year = {1989}, title = {Computational lambda-calculus and monads}, booktitle = {Proceedings, Fourth Annual Symposium on Logic in Computer Science}, publisher = {{IEEE} Comput. Soc. Press}, doi = {10.1109/lics.1989.39155}, ) @article(Moggi1991, author = {E. Moggi}, year = {1991}, title = {Notions of computation and monads}, journal = {Information and Computation}, volume = {93}, number = {1}, pages = {55--92}, doi = {10.1016/0890-5401(91)90052-4}, ) @inproceedings(Olimpieri2021, author = {F. Olimpieri}, year = {2021}, title = {Intersection Type Distributors}, booktitle = {36th Annual {ACM}/{IEEE} Symposium on Logic in Computer Science ({LICS})}, doi = {10.1109/lics52264.2021.9470617}, ) @article(DBLP:journals/corr/abs-2304-11014, author = {H. Paquet and P. Saville}, year = {2023}, title = {Strong pseudomonads and premonoidal bicategories}, eprint = {2304.11014}, ) @article(Power2002, author = {J. Power}, year = {2002}, title = {Premonoidal categories as categories with algebraic structure}, journal = {Theoretical Computer Science}, volume = {278}, number = {1-2}, pages = {303--321}, doi = {10.1016/s0304-3975(00)00340-6}, ) @article(PowerRobinson1997, author = {J. Power and E. Robinson}, year = {1997}, title = {Premonoidal categories and notions of computation}, journal = {Mathematical Structures in Computer Science}, volume = {7}, number = {5}, pages = {453--468}, doi = {10.1017/s0960129597002375}, ) @incollection(Power1997env, author = {J. Power and H. Thielecke}, year = {1997}, title = {Environments, continuation semantics and indexed categories}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer Berlin Heidelberg}, pages = {391--414}, doi = {10.1007/bfb0014560}, ) @article(DBLP:journals/corr/abs-2205-07664, author = {M. Rom{\'{a}}n}, year = {2022}, title = {Promonads and String Diagrams for Effectful Categories}, journal = {CoRR}, volume = {abs/2205.07664}, doi = {10.48550/arXiv.2205.07664}, eprint = {2205.07664}, ) @phdthesis(SchommerPries2009, author = {Schommer-Pries, C. J.}, year = {2009}, title = {The Classification of Two-Dimensional Extended Topological Field Theories}, school = {University of California}, url = {https://arxiv.org/pdf/1112.1000.pdf}, ) @inproceedings(Seely1987, author = {R. A. G. Seely}, year = {1987}, title = {Modelling Computations: A 2-Categorical Framework}, booktitle = {2nd Annual IEEE Symp. on Logic in Computer Science ({LICS})}, ) @article(Slattery2023, author = {A. Slattery}, year = {2023}, title = {Pseudocommutativity and Lax Idempotency for Relative Pseudomonads}, eprint = {2304.14788}, ) @article(Smirnov2008, author = {A. L. Smirnov}, year = {2008}, title = {Graded monads and rings of polynomials}, journal = {Journal of Mathematical Sciences}, volume = {151}, number = {3}, pages = {3032--3051}, doi = {10.1007/s10958-008-9013-7}, ) @incollection(Staton2017, author = {S. Staton}, year = {2017}, title = {Commutative Semantics for Probabilistic Programming}, booktitle = {Programming Languages and Systems}, publisher = {Springer Berlin Heidelberg}, pages = {855--879}, doi = {10.1007/978-3-662-54434-1_32}, ) @article(Stay2016, author = {M. Stay}, year = {2016}, title = {Compact Closed Bicategories}, journal = {Theories and Applications of Categories}, volume = {31}, number = {26}, pages = {755--798}, url = {http://www.tac.mta.ca/tac/volumes/31/26/31-26.pdf}, ) @phdthesis(TanakaThesis, author = {M. Tanaka}, year = {2005}, title = {Pseudo-Distributive Laws and a Unified Framework for Variable Binding}, school = {University of Edinburgh}, url = {https://www.lfcs.inf.ed.ac.uk/reports/04/ECS-LFCS-04-438/ECS-LFCS-04-438.pdf}, ) @article(Thielecke1997, author = {H. Thielecke}, year = {1997}, title = {Continuation Semantics and Self-adjointness}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {6}, pages = {348--364}, doi = {10.1016/s1571-0661(05)80149-5}, ) @inproceedings(ong-tsukada, author = {T. Tsukada and K. Asada and C.-H. L. Ong}, year = {2018}, title = {Species, Profunctors and {Taylor} Expansion Weighted by {SMCC}}, booktitle = {33rd Annual {ACM}/{IEEE} Symposium on Logic in Computer Science (LICS)}, doi = {10.1145/3209108.3209157}, ) @article(wester2019constructing, author = {Wester Hansen, L. and M. Shulman}, year = {2019}, title = {Constructing symmetric monoidal bicategories functorially}, eprint = {1910.09240}, )