Comodule Representations of Second-Order Functionals

From MaRDI portal

MaRDI QIDQ6746142arXivFDO

Authors Danel Ahman, Andrej Bauer

Publication date 2024

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Comodule Representations of Second-Order Functionals

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Comodule_Representations_of_Second-Order_Functionals&oldid=105952649"
Powered by MediaWiki