@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},
)