TY  - RPRT
TI  - Formalising Inductive and Coinductive Containers
AU  - Stefania Damato
AU  - Thorsten Altenkirch
AU  - Axel Ljungström
PY  - 2025
UR  - https://arxiv.org/abs/2409.02603
ID  - 2409.02603
ER  -