Skip to content

A Cubical Approach to Synthetic Homotopy Theory.

Daniel R. Licata, Guillaume Brunerie

VenueA*LICS
Year2015
ProceedingsLICS

Browse the full LICS paper archive.