TY  - RPRT
TI  - Algebraic Presentations of Type Dependency
AU  - Benedikt Ahrens
AU  - Jacopo Emmenegger
AU  - Paige Randall North
AU  - Egbert Rijke
PY  - 2025
DO  - 10.46298/lmcs-21(1:14)2025
UR  - https://arxiv.org/abs/2111.09948
ID  - 2111.09948
ER  -