TY  - RPRT
TI  - Constructing (Co)inductive Types via Large Sizes
AU  - Bastiaan Laarakker
AU  - Daniël Otten
AU  - Benno van den Berg
PY  - 2026
UR  - https://arxiv.org/abs/2602.18921
ID  - 2602.18921
ER  -