TY  - RPRT
TI  - Categorical models of subtyping
AU  - Greta Coraglia
AU  - Jacopo Emmenegger
PY  - 2023
UR  - https://arxiv.org/abs/2312.14600
ID  - 2312.14600
ER  -