50 citations · 83 across the 6 of their papers we have counts for
1 paper · 1 filter
Daniel R. Grayson
We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the enco…