|
|
|
|
|
 2017 |
| 1. |
V. Voevodsky, “The $(\Pi, \lambda)$-structures on the C-systems defined by universe categories”, Theory Appl. Categ., 32:4 (2017), 113–121     |
| 2. |
V. Voevodsky, “C-systems defined by universe categories: presheaves”, Theory Appl. Categ., 32:3 (2017), 53–112 |
| 3. |
B. Ahrens , P.L. Lumsdaine, V. Voevodsky, “Categorical structures for type theory in univalent foundations”, 26th EACSL Annual Conference on Computer Science Logic, Leibniz International Proceedings in Informatics, 82, 2017, 8:1-8:16  |
|
| 2016 |
| 4. |
V. Voevodsky, “Products of families of types and $(\Pi,\lambda)$-structures on C-systems”, Theory Appl. Categ., 31:36 (2016), 1044–1094 |
| 5. |
V. Voevodsky, “Subsystems and regular quotients of C-systems”, A panorama of mathematics: pure and applied, Contemp. Math., 658, Amer. Math. Soc., Providence, RI, 2016, 127–137 |
|
| 2015 |
| 6. |
V. Voevodsky, “A C-system defined by a universe category”, Theory Appl. Categ., 30:37 (2015), 1181–1215 |
| 7. |
V. Voevodsky, “An experimental library of formalized mathematics based on the univalent foundations”, Math. Structures Comput. Sci., 25:5 (2015), 1278–1294 |
| 8. |
A. Pelayo, V. Voevodsky, M. A. Warren, “A univalent formalization of the $p$-adic numbers”, Math. Structures Comput. Sci., 25:5 (2015), 1147–1171 |
|
| 2011 |
| 9. |
V. Voevodsky, “On motivic cohomology with $\mathbf Z/l$-coefficients”, Ann. of Math. (2), 174:1 (2011), 401–438 |
| 10. |
Mini-workshop: The homotopy interpretation of constructive type theory, Abstracts from the mini-workshop held February 27th-March 05th, 2011, Oberwolfach Rep., 8, no. 1, eds. S. Awodey, R. Garner, P. Martin-Löf, V. Voevodsky, 2011 |
| 11. |
V. Voevodsky, “Univalent Foundations of Mathematics”, 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence, 6642, 2011, 4 |
|
| 2010 |
| 12. |
V. Voevodsky, “Cancellation theorem”, Doc. Math., 2010, Andrei A. Suslin sixtieth birthday, 671–685 |
| 13. |
V. Voevodsky, “Motivic Eilenberg-Maclane spaces”, Publ. Math. Inst. Hautes Études Sci., 2010, no. 112, 1–99 |
| 14. |
V. Voevodsky, “Simplicial radditive functors”, J. K-Theory, 5:2 (2010), 201–244 |
| 15. |
V. Voevodsky, “Motives over simplicial schemes”, J. K-Theory, 5:1 (2010), 1–38 |
| 16. |
V. Voevodsky, “Unstable motivic homotopy categories in Nisnevich and cdh-topologies”, J. Pure Appl. Algebra, 214:8 (2010), 1399–1406 |
| 17. |
V. Voevodsky, “Homotopy theory of simplicial sheaves in completely decomposable topologies”, J. Pure Appl. Algebra, 214:8 (2010), 1384–1398 |
|
