TY  - RPRT
TI  - Directed type theory, with a twist
AU  - Fernando Rafael Chu Rivera
AU  - Paige Randall North
PY  - 2026
UR  - https://arxiv.org/abs/2602.17480
ID  - 2602.17480
ER  -