@book(jacobs1999categorical,
 author       = {J.~Bart},
 year         = {1999},
 title        = {Categorical logic and type theory},
 publisher    = {Elsevier},
)
@conference(benabou1967bicat,
 author       = {J.~B{\'e}nabou},
 year         = {1967},
 title        = {{Introduction to bicategories}},
 booktitle    = {Reports of the Midwest Category Seminar},
 volume       = {47},
 organization = {Springer},
 pages        = {1--77},
 doi          = {10.1007/BFb0074298},
)
@article(benabouprof,
 author       = {J.~B{\'e}nabou},
 year         = {1973},
 title        = {{Les distributeurs}},
 journal      = {rapport 33, Universit\IeC{\'e} Catholique de Louvain, Institut de Math\IeC{\'e}matique Pure et Appliqu\IeC{\'e}e},
)
@inproceedings(Benton94,
 author       = {P.~N. Benton},
 year         = {1994},
 title        = {A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract)},
 booktitle    = {{CSL}},
 series       = {Lecture Notes in Computer Science},
 volume       = {933},
 publisher    = {Springer},
 pages        = {121--135},
 doi          = {10.1016/0890-5401(91)90052-4},
)
@article(BIRD19891,
 author       = {G.~J. Bird and G.~M. Kelly and A.~J. Power and R.~H. Street},
 year         = {1989},
 title        = {Flexible limits for 2-categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {61},
 number       = {1},
 pages        = {1 -- 27},
 doi          = {10.1016/0022-4049(89)90065-0},
)
@article(blackwell19892mon,
 author       = {R.~Blackwell and G.~M. Kelly and A.~J. Power},
 year         = {1989},
 title        = {{Two-dimensional monad theory}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {59},
 number       = {1},
 pages        = {1--41},
 doi          = {10.1016/0022-4049(89)90160-6},
)
@article(blute2006differential,
 author       = {R.~Blute and R.~Cockett and R.~Seely},
 year         = {2006},
 title        = {{Differential categories}},
 journal      = {Mathematical structures in computer science},
 volume       = {16},
 number       = {06},
 pages        = {1049--1083},
 doi          = {10.1017/S0960129506005676},
)
@book(borceux1994handbook,
 author       = {F.~Borceux and G.C. Rota and B.~Doran and P.~Flajolet and T.Y. Lam and E.~Lutwak and M.~Ismail},
 year         = {1994},
 title        = {Handbook of Categorical Algebra: Volume 1, Basic Category Theory},
 series       = {Encyclopedia of Mathematics and its Applications},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511525872},
 url          = {https://books.google.fr/books?id=YfzImoopB-IC},
)
@inproceedings(Curien12,
 author       = {P.-L. Curien},
 year         = {2012},
 title        = {Operads, clones, and distributive laws},
 booktitle    = {Proc. of the International Conference on Operads and Universal Algebra},
 volume       = {9},
 publisher    = {Nankai Series in Pure Applied Mathematics and Theoretical Physics},
 doi          = {10.1142/9789814365123\_0002},
)
@inbook(Dubuc1970,
 author       = {E.~J. Dubuc},
 year         = {1970},
 title        = {Completeness concepts},
 pages        = {7--59},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/BFb0060487},
)
@misc(durov2007,
 author       = {N.~Durov},
 year         = {2007},
 title        = {New Approach to Arakelov Geometry},
)
@article(er:tdlc,
 author       = {T.~Ehrhard and L.~Regnier},
 year         = {2003},
 title        = {The differential lambda-calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {309},
 number       = {1},
)
@inproceedings(fiore05,
 author       = {M.~Fiore},
 year         = {2005},
 title        = {Mathematical Models of Computational and Combinatorial Structures},
 editor       = {Vladimiro Sassone},
 booktitle    = {Foundations of Software Science and Computational Structures},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {25--46},
 doi          = {10.1007/3-540-44612-5\_62},
)
@misc(fioresubstitution,
 author       = {M.~Fiore},
 year         = {2006},
 title        = {On the structure of substitution},
 howpublished = {Invited address for MFPSXXII},
)
@article(fiore2007differential,
 author       = {M.~Fiore},
 year         = {2007},
 title        = {{Differential structure in models of multiplicative biadditive intuitionistic linear logic}},
 journal      = {Lecture Notes in Computer Science},
 volume       = {4583},
 pages        = {163},
 doi          = {10.1016/S0304-3975(03)00392-X},
)
@article(fiore2008cartesian,
 author       = {M.~Fiore and N.~Gambino and M.~Hyland and G.~Winskel},
 year         = {2008},
 title        = {The cartesian closed bicategory of generalised species of structures},
 journal      = {J. London Math. Soc.},
 volume       = {77},
 number       = {1},
 doi          = {10.1112/jlms/jdm096},
)
@article(fiore2018relative,
 author       = {M.~Fiore and N.~Gambino and M.~Hyland and G.~Winskel},
 year         = {2018},
 title        = {Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures},
 journal      = {Selecta Mathematica},
 volume       = {24},
 number       = {3},
 pages        = {2791--2830},
 doi          = {10.1007/s00029-017-0361-3},
)
@article(garner2019vietoris,
 author       = {R.~Garner},
 year         = {2020},
 title        = {The Vietoris Monad and Weak Distributive Laws},
 journal      = {Applied Categorical Structures},
 volume       = {28},
 number       = {2},
 pages        = {339--354},
 doi          = {10.1007/s002330010048},
)
@article(Girard87,
 author       = {J.{-}Y. Girard},
 year         = {1987},
 title        = {Linear Logic},
 journal      = {Theoretical Computer Science},
 volume       = {50},
 pages        = {1--102},
 doi          = {10.1016/0304-3975(87)90045-4},
)
@article(hirschowitz2007modules,
 author       = {A.~Hirschowitz and M.~Maggesi},
 year         = {2007},
 title        = {{Modules over monads and linearity}},
 journal      = {Lecture Notes in Computer Science},
 volume       = {4576},
 pages        = {218},
 doi          = {10.1007/s10990-006-8750-x},
)
@article(Hyland14,
 author       = {M.~Hyland},
 year         = {2014},
 title        = {Elements of a theory of algebraic theories},
 journal      = {Theor. Comput. Sci.},
 volume       = {546},
 doi          = {10.1016/j.tcs.2014.03.005},
)
@article(Hyland14monoid,
 author       = {M.~Hyland},
 year         = {2014},
 title        = {Towards a Notion of Lambda Monoid},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {303},
 pages        = {59--77},
 doi          = {10.1016/j.entcs.2014.02.004},
)
@article(Hyland17,
 author       = {M.~Hyland},
 year         = {2017},
 title        = {Classical lambda calculus in modern dress},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {27},
 number       = {5},
 doi          = {10.1017/S0960129515000377},
)
@article(kelly1980,
 author       = {G.~M. Kelly},
 year         = {1980},
 title        = {A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on},
 journal      = {Bulletin of the Australian Mathematical Society},
 volume       = {22},
 number       = {1},
 pages        = {1\IeC{\textendash}83},
 doi          = {10.1017/S0004972700006353},
)
@article(KELLY1993163,
 author       = {G.~M. Kelly and A.~J. Power},
 year         = {1993},
 title        = {Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {89},
 number       = {1},
 pages        = {163 -- 179},
 doi          = {10.1016/0022-4049(93)90092-8},
)
@inbook(Lack2010,
 author       = {S.~Lack},
 year         = {2010},
 title        = {A 2-Categories Companion},
 pages        = {105--191},
 publisher    = {Springer New York},
 address      = {New York, NY},
 doi          = {10.1007/978-1-4419-1524-5\_4},
)
@article(Lawverephd,
 author       = {F.~W. Lawvere},
 year         = {1984},
 title        = {Functorial Semantics of Algebraic Theories. PhD Thesis, Columbia, 1963.},
 journal      = {Republished in Reprints in Theory and Applications of Categories 5},
)
@article(Lumsdaine15,
 author       = {P.~L. Lumsdaine and M.~Warren},
 year         = {2015},
 title        = {The local universes model: an overlooked coherence construction for dependent type theories},
 journal      = {ACM Transactions in Computational Logic},
 volume       = {16},
 pages        = {23.1--23.31},
 doi          = {10.1017/S0305004100061284},
)
@article(Maietti05,
 author       = {M.~E. Maietti},
 year         = {2005},
 title        = {Modular correspondence between dependent type theories and categories including pretopoi and topoi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {6},
 pages        = {1089--1149},
 doi          = {10.1017/S0960129505004962},
)
@article(Lof1984,
 author       = {P.~Martin-L\"of},
 year         = {1984},
 title        = {Intuitionistic Type Theory},
 journal      = {Bibliopolis},
)
@inproceedings(power2005binding,
 author       = {J.~Power and M.~Tanaka},
 year         = {2005},
 title        = {Binding Signatures for Generic Contexts},
 booktitle    = {TLCA},
 doi          = {10.1007/3-540-44612-5\_62},
 url          = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3461{\&}spage=308},
)
@phdthesis(Streicher89,
 author       = {T.~Streicher},
 year         = {1989},
 title        = {Correctness and completeness of a categorical semantics of the calculus of constructions},
 school       = {University of Passau, Germany},
)
@inbook(Taylor1993,
 author       = {W.~Taylor},
 year         = {1993},
 title        = {Abstract Clone Theory},
 pages        = {507--530},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-017-0697-1\_11},
)