TY  - RPRT
TI  - Thin Coalgebraic Behaviours Are Inductive
AU  - Anton Chernev
AU  - Corina Cîrstea
AU  - Helle Hvid Hansen
AU  - Clemens Kupke
PY  - 2025
UR  - https://arxiv.org/abs/2504.07013
ID  - 2504.07013
ER  -