A Type Theory with a Tiny Object

From MaRDI portal
Publication:6524487

arXiv2403.01939MaRDI QIDQ6524487FDOQ6524487


Authors: Mitchell Riley Edit this on Wikidata














This page was built for publication: A Type Theory with a Tiny Object

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

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