TY  - RPRT
TI  - Polynomials in homotopy type theory as a Kleisli category
AU  - Elies Harington
AU  - Samuel Mimram
PY  - 2024
DO  - 10.46298/entics.14786
UR  - https://arxiv.org/abs/2411.09950
ID  - 2411.09950
ER  -