Skip to content

Cubical synthetic homotopy theory.

Anders Mrtberg, Loc Pujet

VenueBCPP
Year2020
ProceedingsCPP

Browse the full CPP paper archive.