%0 Conference Paper %1 journals/corr/abs-2112-14050 %A Finster, Eric %A Mimram, Samuel %A Lucas, Maxime %A Seiller, Thomas %B MFPS %D 2021 %E Sokolova, Ana %K dblp %P 67-83 %T A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs351.html#abs-2112-14050 %V 351

@inproceedings{journals/corr/abs-2112-14050, added-at = {2022-01-18T00:00:00.000+0100}, author = {Finster, Eric and Mimram, Samuel and Lucas, Maxime and Seiller, Thomas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ab69b481f4cb7280c07422f550987835/dblp}, booktitle = {MFPS}, crossref = {journals/corr/abs-2112-13746}, editor = {Sokolova, Ana}, ee = {https://arxiv.org/abs/2112.14050}, interhash = {8f811e0951c337b56ec21d42705e239a}, intrahash = {ab69b481f4cb7280c07422f550987835}, keywords = {dblp}, pages = {67-83}, series = {EPTCS}, timestamp = {2022-03-01T06:53:01.000+0100}, title = {A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs351.html#abs-2112-14050}, volume = 351, year = 2021 }