Reflexive graph lenses in univalent foundations

From MaRDI portal
Publication:6530207

MaRDI QIDQ6530207arXivFDO

Authors Jonathan Sterling

Published in arXiv

















This page was built for publication: Reflexive graph lenses in univalent foundations

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6530207&oldid=40049358"
Powered by MediaWiki