@misc{indiciae8573e8775912,
  title = {Definitional Functoriality for Dependent (Sub)Types -- Extended version},
  author = {Théo Laurent and Meven Lennon-Bertrand and Kenji Maillard},
  year = {2024},
  url = {https://arxiv.org/abs/2310.14929},
  note = {Source identifier: 2310.14929}
}