TY  - RPRT
TI  - The Univalence Principle
AU  - Benedikt Ahrens
AU  - Paige Randall North
AU  - Michael Shulman
AU  - Dimitris Tsementzis
PY  - 2022
UR  - https://arxiv.org/abs/2102.06275
ID  - 2102.06275
ER  -