TY  - RPRT
TI  - Univalent foundations and the equivalence principle
AU  - Benedikt Ahrens
AU  - Paige Randall North
PY  - 2022
DO  - 10.1007/978-3-030-15655-8
UR  - https://arxiv.org/abs/2202.01892
ID  - 2202.01892
ER  -