TY  - RPRT
TI  - Custom Representations of Inductive Families
AU  - Constantine Theocharis
AU  - Edwin Brady
PY  - 2025
UR  - https://arxiv.org/abs/2505.21225
ID  - 2505.21225
ER  -