TY  - RPRT
TI  - A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
AU  - Eric Finster
AU  - Samuel Mimram
AU  - Maxime Lucas
AU  - Thomas Seiller
PY  - 2021
DO  - 10.4204/eptcs.351.5
UR  - https://arxiv.org/abs/2112.14050
ID  - 2112.14050
ER  -