TY  - RPRT
TI  - The biequivalence of path categories and axiomatic Martin-Löf type theories
AU  - Daniël Otten
AU  - Matteo Spadetto
PY  - 2025
DO  - 10.4230/lipics.csl.2026.38
UR  - https://arxiv.org/abs/2503.15431
ID  - 2503.15431
ER  -