A cartesian closed fibration of higher-order regular languages

From MaRDI portal

MaRDI QIDQ7214470arXivFDO

Authors Paul-André Melliès, Vincent Moreau

Publication date 2026

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: A cartesian closed fibration of higher-order regular languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7214470)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=A_cartesian_closed_fibration_of_higher-order_regular_languages&oldid=107629766"
Powered by MediaWiki