17 citations · 30 across the 21 of their papers we have counts for
1 paper · 1 filter
Chris Kapulkin, Peter LeFanu Lumsdaine, Vladimir Voevodsky
We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.