134 citations · 234 across the 10 of their papers we have counts for
1 paper · 2 filters
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…