Higher Groups in Homotopy Type Theory

MaRDI QIDQ7102624arXivFDO

Authors Ulrik Buchholtz, Floris van Doorn, Egbert Rijke

Publication date 2018

Published in arXiv

arXiv classification

cs.LO

This page was built for publication: Higher Groups in Homotopy Type Theory

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