TY  - RPRT
TI  - An inductive-recursive universe generic for small families
AU  - Daniel Gratzer
PY  - 2022
UR  - https://arxiv.org/abs/2202.05529
ID  - 2202.05529
ER  -