137 citations · 500 across the 20 of their papers we have counts for
1 paper · 2 filters
Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.