@misc{indiciae29ff8f522fcd, title = {A cartesian closed fibration of higher-order regular languages}, author = {Paul-André Melliès and Vincent Moreau}, year = {2026}, url = {https://arxiv.org/abs/2601.18000}, note = {Source identifier: 2601.18000} }