@misc{indiciae6a44420ddc6a,
  title = {Internal languages of locally cartesian closed \$(\textbackslash{}infty,1)\$-categories},
  author = {El Mehdi Cherradi},
  year = {2026},
  url = {https://arxiv.org/abs/2509.03371},
  note = {Source identifier: 2509.03371}
}