@misc{indiciaeb8b376269f89,
  title = {AdapTT: Functoriality for Dependent Type Casts},
  author = {Arthur Adjedj and Meven Lennon-Bertrand and Thibaut Benjamin and Kenji Maillard},
  year = {2025},
  doi = {10.1145/3776664},
  url = {https://arxiv.org/abs/2507.13774},
  note = {Source identifier: 2507.13774}
}