TY  - RPRT
TI  - Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
AU  - Zoltán Gábor Molnár
AU  - Csaba Tóth
PY  - 2026
UR  - https://arxiv.org/abs/2610.15080
ID  - 2610.15080
ER  -