Profinite trees, through monads and the lambda-calculus

From MaRDI portal

MaRDI QIDQ6522649arXivFDO

Authors Vincent Moreau

Published in arXiv
















This page was built for publication: Profinite trees, through monads and the lambda-calculus

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Profinite_trees,_through_monads_and_the_lambda-calculus&oldid=99786650"
Powered by MediaWiki