WITHDRAWN: Realizability of Univalence: Modest Kan complexes

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ7079657arXivFDO

Authors W. P. Stekelenburg

Publication date 2014

Published in arXiv

arXiv classification

This page was built for publication: WITHDRAWN: Realizability of Univalence: Modest Kan complexes

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=WITHDRAWN:_Realizability_of_Univalence:_Modest_Kan_complexes&oldid=106474685"