@inproceedings(ahrens2019bicategories,
 author       = {Benedikt Ahrens and Dan Frumin and Marco Maggesi and Niels van~der Weide},
 year         = {2019},
 title        = {{Bicategories in Univalent Foundations}},
 booktitle    = {4th International Conference on Formal Structures for Computation and Deduction},
 pages        = {1--17},
 doi          = {10.4230/LIPIcs.FSCD.2019.5},
)
@article(altenkirch2015indexed,
 author       = {Thorsten Altenkirch and Neil Ghani and Peter Hancock and Conor McBride and Peter Morris},
 year         = {2015},
 title        = {Indexed containers},
 journal      = {Journal of Functional Programming},
 volume       = {25},
 doi          = {10.1017/S095679681500009X},
)
@inproceedings(arkor2020algebraic,
 author       = {Nathanael Arkor and Marcelo Fiore},
 year         = {2020},
 title        = {{Algebraic models of simple type theories: A polynomial approach}},
 booktitle    = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science},
 pages        = {88--101},
 doi          = {10.1145/3373718.3394771},
)
@misc(git,
 author       = {Eric Finster and Maxime Lucas and Samuel Mimram and Thomas Seiller},
 year         = {2021},
 note         = {\href{https://github.com/smimram/fibred-polynomials}{\texttt{https://github.com/smimram/fibred-polynomials}}},
)
@misc(fiore2004generalised,
 author       = {Marcelo Fiore},
 year         = {2004},
 title        = {Generalised species of structures: Cartesian closed and differential structure},
)
@article(fiore2014analytic,
 author       = {Marcelo Fiore},
 year         = {2014},
 title        = {Analytic functors between presheaf categories over groupoids},
 journal      = {Theoretical Computer Science},
 volume       = {546},
 pages        = {120--131},
 doi          = {10.1016/j.tcs.2014.03.004},
)
@article(fiore2008cartesian,
 author       = {Marcelo Fiore and Nicola Gambino and Martin Hyland and Glynn Winskel},
 year         = {2008},
 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(fiore2007differential,
 author       = {Marcelo~P Fiore},
 year         = {2007},
 title        = {Differential structure in models of multiplicative biadditive intuitionistic linear logic},
 booktitle    = {International Conference on Typed Lambda Calculi and Applications},
 organization = {Springer},
 pages        = {163--177},
 doi          = {10.1007/978-3-540-73228-0\_13},
)
@inproceedings(gambino2009polynomial,
 author       = {Nicola Gambino and Joachim Kock},
 year         = {2013},
 title        = {Polynomial functors and polynomial monads},
 booktitle    = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {1},
 organization = {Cambridge University Press},
 pages        = {153--192},
 doi          = {10.1017/S0305004112000394},
)
@article(gepner2017infty,
 author       = {David Gepner and Rune Haugseng and Joachim Kock},
 year         = {2017},
 title        = {{$\infty$-Operads as Analytic Monads}},
 journal      = {arXiv preprint arXiv:1712.06469},
)
@article(girard1988normal,
 author       = {Jean-Yves Girard},
 year         = {1988},
 title        = {Normal functors, power series and $\lambda$-calculus},
 journal      = {Annals of pure and applied logic},
 volume       = {37},
 number       = {2},
 pages        = {129--177},
 doi          = {10.1016/0168-0072(88)90025-5},
)
@article(hasegawa2002two,
 author       = {Ryu Hasegawa},
 year         = {2002},
 title        = {Two applications of analytic functors},
 journal      = {Theoretical Computer Science},
 volume       = {272},
 number       = {1-2},
 pages        = {113--175},
 doi          = {10.1016/S0304-3975(00)00349-2},
)
@incollection(joyal1986foncteurs,
 author       = {Andr{\'e} Joyal},
 year         = {1986},
 title        = {Foncteurs analytiques et especes de structures},
 booktitle    = {Combinatoire {\'e}num{\'e}rative},
 publisher    = {Springer},
 pages        = {126--159},
 doi          = {10.1007/BFb0072514},
)
@misc(kidney2019small,
 author       = {Donnacha~Ois\IeC{\'\i}n Kidney},
 year         = {2019},
 title        = {A Small Proof that Fin is Injective},
 howpublished = {\href{https://doisinkidney.com/posts/2019-11-15-small-proof-fin-inj.html}{\texttt{https://doisinkidney.com/posts/2019-11-15-small-proof-fin-inj.html}}},
)
@article(kock2009notes,
 author       = {Joachim Kock},
 year         = {2009},
 title        = {Notes on polynomial functors},
 journal      = {Manuscript, version},
)
@article(kock2012data,
 author       = {Joachim Kock},
 year         = {2012},
 title        = {Data types with symmetries and polynomial functors over groupoids},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {286},
 pages        = {351--365},
 doi          = {10.1016/j.entcs.2013.01.001},
)
@article(kock2010polynomial,
 author       = {Joachim Kock and Andr{\'e} Joyal and Michael Batanin and Jean-Fran{\c{c}}ois Mascari},
 year         = {2010},
 title        = {Polynomial functors and opetopes},
 journal      = {Advances in Mathematics},
 volume       = {224},
 number       = {6},
 pages        = {2690--2737},
 doi          = {10.1016/j.aim.2010.02.012},
)
@inproceedings(licata2014eilenberg,
 author       = {Daniel~R Licata and Eric Finster},
 year         = {2014},
 title        = {{Eilenberg-MacLane spaces in homotopy type theory}},
 booktitle    = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 pages        = {1--9},
 doi          = {10.1145/2603088.2603153},
)
@article(mellies2009categorical,
 author       = {Paul-Andr{\'e} Melli{\`e}s},
 year         = {2009},
 title        = {Categorical semantics of linear logic},
 journal      = {Panoramas et syntheses},
 volume       = {27},
 pages        = {15--215},
)
@inproceedings(taylor1989quantitative,
 author       = {Paul Taylor},
 year         = {1989},
 title        = {Quantitative domains, groupoids and linear logic},
 booktitle    = {Category Theory and Computer Science},
 organization = {Springer},
 pages        = {155--181},
 doi          = {10.1007/BFb0018351},
)
@book(hottbook,
 author       = {{The Univalent Foundations Program}},
 year         = {2013},
 title        = {Homotopy Type Theory: Univalent Foundations of Mathematics},
 publisher    = {\href{https://homotopytypetheory.org/book}{\texttt{https://homotopytypetheory.org/book}}},
 address      = {Institute for Advanced Study},
)
@phdthesis(vidmar2018polynomial,
 author       = {Jakob Vidmar},
 year         = {2018},
 title        = {{Polynomial functors and W-types for groupoids}},
 school       = {University of Leeds},
)
@article(weber2015polynomials,
 author       = {Mark Weber},
 year         = {2015},
 title        = {Polynomials in categories with pullbacks},
 journal      = {Theory and applications of categories},
 volume       = {30},
 number       = {16},
 pages        = {533--598},
)