TY  - RPRT
TI  - Coinductive Streams in Monoidal Categories
AU  - Elena Di Lavore
AU  - Giovanni de Felice
AU  - Mario Román
PY  - 2025
DO  - 10.46298/lmcs-21(3:18)2025
UR  - https://arxiv.org/abs/2212.14494
ID  - 2212.14494
ER  -