137 citations · 500 across the 20 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.