@misc{indiciae4122ef15ad0c,
  title = {Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization},
  author = {Zoltán Gábor Molnár and Csaba Tóth},
  year = {2026},
  url = {https://arxiv.org/abs/2610.15080},
  note = {Source identifier: 2610.15080}
}