Multiple categories: the equivalence of a globular and a cubical approach (2002)

by F A Al-Agl, R Brown, R Steiner
Venue:Advances in Maths. 170