134 citations · 234 across the 10 of their papers we have counts for
1 paper · 1 filter
Steve Awodey
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type th…