@misc{indiciae240a594f6ed0,
  title = {The biequivalence of path categories and axiomatic Martin-Löf type theories},
  author = {Daniël Otten and Matteo Spadetto},
  year = {2025},
  doi = {10.4230/lipics.csl.2026.38},
  url = {https://arxiv.org/abs/2503.15431},
  note = {Source identifier: 2503.15431}
}