A cubical approach to synthetic homotopy theory (2015)

by D R Licata, G Brunerie
Venue:In LICS