Publications
Export results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is W [Clear All Filters]
, "A univalent formalization of the p-adic numbers", Mathematical Structures in Computer Science, vol. FirstView, pp. 1–25, 2, 2015.
The arXiv version is here.
, "Lecture notes on motivic cohomology", Clay Mathematics Monographs, vol. 2: American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, pp. xiv+216, 2006.
(1.34 MB)
(1.34 MB), "Voevodsky's Seattle lectures: K-theory and motivic cohomology", Algebraic K-theory (Seattle, WA, 1997), vol. 67: Amer. Math. Soc., Providence, RI, pp. 283–303, 1999.
(2.35 MB)
(2.35 MB)