Publications - Vladimir Voevodsky

We include here Voevodsky's published and unpublished papers, letters, and videos and slides of talks, in roughly chronological order. More items are listed here than on his home page, which has been essentially static since his death, but don't neglect to look there also, for we haven't included everything that is there. Items include links to preprint versions, reviews, and his working files, including TeX files.

The same list as this one, but without abstracts, is visible here.

We've indicated the current status of those papers submitted for publication and undergoing review or revision.

The entry numbers are assigned sequentially when this page is remade from the bibtex source file, and should not be expected to be unchanging. However, the (invisible) symbolic labels for each entry will be preserved and can be used in a link, such as this one: MR2811603, which links to On motivic cohomology with ℤ/l-coefficients. Click on a number to get the link.


[1] V. A. Voevodskiĭ and G. B. Shabat. Equilateral triangulations of Riemann surfaces, and curves over algebraic number fields. Dokl. Akad. Nauk SSSR, 304(2):265--268, 1989. [ bib | MR | pdf ]
[2] V. A. Voevodsky. Galois group over ℚ and Teichmüller modular groups. In Proc. Conf. Constr. Methods and Alg. Number Theory, Minsk, 1989. [ bib ]
[3] V. A. Voevodsky. Triangulations of Oriented Manifolds and Ramified Coverings of Sphere (in Russian). In Proc. Conf. of Young Scientists. Moscow Univ. Press, 1990. [ bib ]
[4] V. A. Voevodsky and G. B. Shabat. Piece-wise Euclidean Approximation of Jacobians of Algebraic Curves. 1990. CSTARCI Math. Preprints. [ bib | pdf ]
[5] V. A. Voevodsky. Flags and Grothendieck Cartographical Group in Higher Dimensions. 1990. CSTARCI Math. Preprints. Translation by George Shabat. [ bib | Russian pdf | pdf ]
[6] V. A. Voevodsky and M. M. Kapranov. Multidimensional categories (in Russian). In Proc. Conf. of Young Scientists. Moscow Univ. Press, 1990. [ bib | Abstract ]
[7] V. A. Voevodskiĭ and M. M. Kapranov. ∞-группоиды как модель для гомотопической категории. (∞-groupoids as a model for a homotopy category). Uspekhi Mat. Nauk, 45(5(275)):183--184, 1990. [ bib | DOI | MR | Russian pdf | pdf | ZB | http | Abstract ]
[8] G. B. Shabat and V. A. Voevodsky. Drawing curves over number fields. In The Grothendieck Festschrift, Vol. III, volume 88 of Progr. Math., pages 199--227. Birkhäuser Boston, Boston, MA, 1990. [ bib | DOI | MR | pdf ]
[9] V. A. Voevodskiĭ. Étale topologies of schemes over fields of finite type over ℚ. Izv. Akad. Nauk SSSR Ser. Mat., 54(6):1155--1167, 1990. [ bib | DOI | MR | Russian pdf | pdf | http | Abstract ]
[10] V. A. Voevodskiĭ and M. M. Kapranov. The free n-category generated by a cube, oriented matroids and higher Bruhat orders. Funktsional. Anal. i Prilozhen., 25(1):62--65, 1991. [ bib | DOI | MR | Russian pdf | pdf | http | Abstract ]
[11] M. M. Kapranov and V. A. Voevodsky. Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results). Cahiers Topologie Géom. Différentielle Catég., 32(1):11--27, 1991. International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990). [ bib | MR | pdf | http | Abstract ]
[12] M. M. Kapranov and V. A. Voevodsky. ∞-groupoids and homotopy types. Cahiers Topologie Géom. Différentielle Catég., 32(1):29--46, 1991. International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990). [ bib | MR | pdf | http | Abstract ]
[13] V. A. Voevodskiĭ. Galois groups of function fields over fields of finite type over ℚ. Uspekhi Mat. Nauk, 46(5(281)):163--164, 1991. [ bib | DOI | MR | Russian pdf | pdf | ZB | http ]
[14] V. A. Voevodskiĭ. Galois representations connected with hyperbolic curves. Izv. Akad. Nauk SSSR Ser. Mat., 55(6):1331--1342, 1991. [ bib | DOI | MR | Russian pdf | pdf | ZB | http | Abstract ]
[15] Vladimir Voevodsky. A letter to Beilinson, December 6, 1992. [ bib | preprint ]
[16] Vladimir Voevodsky. Homology of schemes and covariant motives. ProQuest LLC, Ann Arbor, April, 1992. Ph.D. Thesis, Harvard University. [ bib | MR | pdf | http | Abstract ]
[17] M. Kapranov and V. Voevodsky. Braided monoidal 2-categories and Manin-Schechtman higher braid groups. J. Pure Appl. Algebra, 92(3):241--267, 1994. [ bib | DOI | MR | pdf | Abstract ]
[18] M. M. Kapranov and V. A. Voevodsky. 2-categories and Zamolodchikov tetrahedra equations. In Algebraic groups and their generalizations: quantum and infinite-dimensional methods (University Park, PA, 1991), volume 56 of Proc. Sympos. Pure Math., pages 177--259. Amer. Math. Soc., Providence, RI, 1994. [ bib | MR | pdf ]
[19] V. Voevodsky. A nilpotence theorem for cycles algebraically equivalent to zero. Internat. Math. Res. Notices, (4):187--198, 1995. [ bib | DOI | preprint | MR | pdf | Abstract ]
[20] Vladimir Voevodsky. Four functors formalism. March, 1999. Unpublished, 20 pages. [ bib | .pdf | Abstract ]
[21] Andrei Suslin and Vladimir Voevodsky. Singular homology of abstract algebraic varieties. Invent. Math., 123(1):61--94, 1996. [ bib | DOI | preprint | MR | pdf | Abstract ]
[22] V. Voevodsky. Homology of schemes. Selecta Math. (N.S.), 2(1):111--153, 1996. [ bib | DOI | preprint | MR | pdf | Abstract ]
[23] Vladimir Voevodsky. 𝔸1-homotopy theory. In Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), number Extra Vol. I, pages 579--604, 1998. [ bib | MR | pdf | .html ]
[24] V. Voevodsky. Voevodsky's Seattle lectures: K-theory and motivic cohomology. In Algebraic K-theory (Seattle, WA, 1997), volume 67 of Proc. Sympos. Pure Math., pages 283--303. Amer. Math. Soc., Providence, RI, 1999. Notes by C. Weibel. [ bib | DOI | preprint | MR | pdf | Abstract ]
[25] Vladimir Voevodsky. Categories and functors in mathematics. 1999. Unpublished. [ bib | files | pdf | Abstract ]
[26] Fabien Morel and Vladimir Voevodsky. 𝔸1-homotopy theory of schemes. Inst. Hautes Études Sci. Publ. Math., (90):45--143 (2001), 1999. [ bib | preprint | MR | pdf | http | Abstract ]
[27] Vladimir Voevodsky. Sheaves and sheaves with transfers in the cdh-topology, November 9, 1999. 23 pages. An unfinished unreleased note. [ bib | files | pdf | Abstract ]
[28] Andrei Suslin and Vladimir Voevodsky. Bloch-Kato conjecture and motivic cohomology with finite coefficients. In The arithmetic and geometry of algebraic cycles (Banff, AB, 1998), volume 548 of NATO Sci. Ser. C Math. Phys. Sci., pages 117--189. Kluwer Acad. Publ., Dordrecht, 2000. [ bib | preprint | MR | pdf | http | Abstract ]
[29] Vladimir Voevodsky, Andrei Suslin, and Eric M. Friedlander. Cycles, transfers, and motivic homology theories, volume 143 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2000. [ bib | preprint | MR | Abstract ]
[30] Eric M. Friedlander, A. Suslin, and V. Voevodsky. Introduction. In Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., pages 3--9. Princeton Univ. Press, Princeton, NJ, 2000. [ bib | preprint | MR | pdf | http | Abstract ]
[31] Andrei Suslin and Vladimir Voevodsky. Relative cycles and Chow sheaves. In Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., pages 10--86. Princeton Univ. Press, Princeton, NJ, 2000. [ bib | earlier preprint | preprint | MR | pdf | http | Abstract ]
[32] Vladimir Voevodsky. Cohomological theory of presheaves with transfers. In Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., pages 87--137. Princeton Univ. Press, Princeton, NJ, 2000. [ bib | preprint | MR | pdf | http | Abstract ]
[33] Eric M. Friedlander and Vladimir Voevodsky. Bivariant cycle cohomology. In Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., pages 138--187. Princeton Univ. Press, Princeton, NJ, 2000. [ bib | earlier preprint | preprint | MR | pdf | http | Abstract ]
[34] Vladimir Voevodsky. Triangulated categories of motives over a field. In Cycles, transfers, and motivic homology theories, volume 143 of Ann. of Math. Stud., pages 188--238. Princeton Univ. Press, Princeton, NJ, 2000. [ bib | even earlier preprint | earlier preprint | preprint | MR | pdf | http | Abstract ]
[35] Vladimir Voevodsky. On 2-torsion in motivic cohomology. July, 2001. [ bib | preprint | Abstract ]
[36] Pierre Deligne. Voevodsky's lectures on cross functors. Fall, 2001. Unpublished. [ bib | .pdf ]
[37] Vladimir Voevodsky. Framed correspondences. November, 2001. Unpublished. [ bib | files | pdf | Abstract ]
[38] Vladimir Voevodsky. Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic. Int. Math. Res. Not., (7):351--355, 2002. [ bib | DOI | preprint | MR | pdf | Abstract ]
[39] Vladimir Voevodsky. A possible new approach to the motivic spectral sequence for algebraic K-theory. In Recent progress in homotopy theory (Baltimore, MD, 2000), volume 293 of Contemp. Math., pages 371--379. Amer. Math. Soc., Providence, RI, 2002. [ bib | DOI | preprint | MR | pdf | Abstract ]
[40] Vladimir Voevodsky. Open problems in the motivic stable homotopy theory. I. In Motives, polylogarithms and Hodge theory, Part I (Irvine, CA, 1998), volume 3 of Int. Press Lect. Ser., pages 3--34. Int. Press, Somerville, MA, 2002. [ bib | preprint | MR | pdf | http | Abstract ]
[41] Vladimir Voevodsky. Reduced power operations in motivic cohomology. Publ. Math. Inst. Hautes Études Sci., (98):1--57, 2003. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[42] Vladimir Voevodsky. Motivic cohomology with ℤ/2-coefficients. Publ. Math. Inst. Hautes Études Sci., (98):59--104, 2003. [ bib | DOI | MR | pdf | Abstract ]
[43] V. Voevodsky. On the zero slice of the sphere spectrum. Tr. Mat. Inst. Steklova, 246:106--115, 2004. [ bib | earlier preprint | preprint | MR | pdf | ZB | http | Abstract ]
[44] Категорный поход к теории вероятностей -- A categorical approach to the theory of probability (in Russian), September 2, 2004. A talk in the A. Bondal Seminar. [ bib | http ]
[45] Historic inference from non-recombinant genetic data, March 6, 2006. 4 pages. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[46] What can the genetic data tell us about the history?, March 6, 2006. 3 pages. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[47] Vladimir Voevodsky. On an approach to conveniently formalize mathematics, March 5, 2006. An unfinished paper. [ bib | files | pdf | Abstract ]
[48] Vladimir Voevodsky. Notes on homotopy λ-calculus. March 25, 2006. Unpublished, 70 pages. [ bib | files | pdf | Abstract ]
[49] Carlo Mazza, Vladimir Voevodsky, and Charles Weibel. Lecture notes on motivic cohomology, volume 2 of Clay Mathematics Monographs. American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA, 2006. [ bib | preprint | MR | pdf | .pdf | Abstract ]
[50] Vladimir Voevodsky. A very short note on homotopy λ-calculus. September, 2006. Unpublished, 7 pages. [ bib | files | .pdf | Abstract ]
[51] D. Orlov, A. Vishik, and V. Voevodsky. An exact sequence for KM*/2 with applications to quadratic forms. Ann. of Math. (2), 165(1):1--13, 2007. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[52] B. I. Dundas, M. Levine, P. A. Østvær, O. Röndigs, and V. Voevodsky. Motivic homotopy theory. Universitext. Springer-Verlag, Berlin, 2007. Lectures from the Summer School held in Nordfjordeid, August 2002. [ bib | DOI | MR | pdf | Abstract ]
[53] Vladimir Voevodsky, Oliver Röndigs, and Paul Arne Østvær. Voevodsky's Nordfjordeid lectures: motivic homotopy theory. In Motivic homotopy theory, Universitext, pages 147--221. Springer, Berlin, 2007. [ bib | DOI | MR ]
[54] Категорная вероятность -- Categorical probability (in Russian), November 20, 2008. A talk in the Steklov Mathematical Institute Seminar. [ bib | video | Abstract ]
[55] Категорная вероятность II -- Categorical probability II (in Russian), November 25, 2008. A talk in the Seminar of the Department of Algebra. [ bib | http ]
[56] Синглетоны -- Singletons (in Russian), November 27, 2008. A talk in the Seminar of the Department of Mathematical Physics, Steklov Mathematical Institute of RAS. [ bib | http | Abstract ]
[57] Notes on categorical probability, July 13, 2009. 75 pages. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[58] Singletons, May 11, 2009. 94 pages. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[59] Системы путей -- Systems of paths (in Russian), August 25, 2009. A talk in the Seminar of the Department of Algebra. [ bib | http | Abstract ]
[60] Notes on type systems, September 8, 2009. Unpublished. [ bib | files | pdf | Abstract ]
[61] Pierre Deligne. Voevodsky's lectures on motivic cohomology 2000/2001. In Algebraic topology, volume 4 of Abel Symp., pages 355--409. Springer, Berlin, 2009. [ bib | DOI | earlier preprint | preprint | pdf | http | Abstract ]
[62] Vladimir Voevodsky. Bloch-kato conjecture. 2010. [ bib | files | pdf | Abstract ]
[63] Vladimir Voevodsky. Homotopy theory of simplicial sheaves in completely decomposable topologies. J. Pure Appl. Algebra, 214(8):1384--1398, 2010. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[64] Vladimir Voevodsky. Unstable motivic homotopy categories in Nisnevich and cdh-topologies. J. Pure Appl. Algebra, 214(8):1399--1406, 2010. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[65] Vladimir Voevodsky. Motives over simplicial schemes. J. K-Theory, 5(1):1--38, 2010. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[66] Vladimir Voevodsky. Simplicial radditive functors. J. K-Theory, 5(2):201--244, 2010. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[67] Vladimir Voevodsky. Motivic Eilenberg-Maclane spaces. Publ. Math. Inst. Hautes Études Sci., (112):1--99, 2010. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[68] Vladimir Voevodsky. Cancellation theorem. Doc. Math., pages 671--685, 2010. Special volume: Andrei A. Suslin's sixtieth birthday. [ bib | earlier preprint | preprint | MR | pdf | .html | Abstract ]
[69] Vladimir Voevodsky. On motivic cohomology with ℤ/l-coefficients. Ann. of Math. (2), 174(1):401--438, 2011. [ bib | DOI | earlier preprint | preprint | MR | pdf | Abstract ]
[70] Vladimir Voevodsky. Univalent foundations project. October, 2010. 12 pages. [ bib | .pdf | Abstract ]
[71] Formal Languages, partial algebraic theories and homotopy category -- Формальные языки, частичные алгебраические теории и гомотопическая категория (in English), June 27, 2010. A talk at Algebraic Geometry, K-theory, and Motives (a conference dedicated to Andrei Suslin's 60th birthday). [ bib | video ]
[72] Vladimir Voevodsky. Foundations: Development of the univalent foundations of mathematics in Coq. 2010. A Coq library of formalized proofs. [ bib | http | Abstract ]
[73] Vladimir Voevodsky. Univalent foundations. In Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory, pages 7--10. Mathematisches Forschungsinstitut Oberwolfach, February 27 - March 5, 2011. [ bib | DOI | pdf | Abstract ]
[74] Унивалентные основания математики -- Univalent foundations of mathematics (in Russian), June 7, 2011. A talk in the Seminar of the Department of Algebra. [ bib | http ]
[75] Vladimir Voevodsky. Resizing Rules - their use and semantic justification. September 11, 2011. Slides from a talk in Bergen. [ bib | pdf ]
[76] Унивалентные Основания Математики -- Univalent foundations of mathematics (in Russian), December 29, 2011. A talk at a one-day conference dedicated to the memory of V. A. Iskovskikh, Moscow, Steklov Mathematical Institute. [ bib | video ]
[77] Chris Kapulkin, Peter LeFanu Lumsdaine, and Vladimir Voevodsky. Univalence in simplicial sets. March, 2012. [ bib | preprint | Abstract ]
[78] Chris Kapulkin and Peter LeFanu Lumsdaine. The Simplicial Model of Univalent Foundations (after Voevodsky). November, 2012. [ bib | preprint | Abstract ]
[79] Vladimir Voevodsky. A test type system, March 5, 2013. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[80] Univalent Foundations of Mathematics, July 25, 2013. A talk at the University of Coimbra. [ bib | http | Abstract ]
[81] Vladimir Voevodsky. The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010). February, 2014. [ bib | preprint | files | pdf | Abstract ]
[82] Vladimir Voevodsky, Benedikt Ahrens, Daniel R. Grayson, et al. UniMath - a computer-checked library of univalent mathematics. March, 2014. [ bib | http | Abstract ]
[83] Vladimir Voevodsky. Univalent foundations - new type-theoretic foundations of mathematics. April 22, 2014. Slides from a talk at IHP, Paris. [ bib | pdf ]
[84] A simple type system with two identity types, May 11, 2014. An unfinished unreleased (?) manuscript. [ bib | files | pdf | Abstract ]
[85] HTS (II), May 11, 2014. An unfinished unreleased (?) manuscript. [ bib | files | pdf | Abstract ]
[86] Vladimir Voevodsky. The origins and motivations of Univalent Foundations. The Institute Letter, Summer, 2014. [ bib | http ]
[87] Vladimir Voevodsky. C-system of a module over a monad on sets. July, 2014. [ bib | preprint | files | Abstract ]
[88] Как писать математику используя систему Кок I -- How to write mathematics in the Coq system, I (in Russian), July 29, 2014. A talk in the Summer mathematical school on Algebra and Geometry, Yaroslavl, July 25-31, 2014, Летняя математическая школа "Алгебра и геометрия". [ bib | video | .html | Abstract ]
[89] Как писать математику используя систему Кок II -- How to write mathematics in the Coq system, II (in Russian), July 30, 2014. A talk in the Summer mathematical school on Algebra and Geometry, Yaroslavl, July 25-31, 2014, Летняя математическая школа "Алгебра и геометрия". [ bib | video | .html ]
[90] Vladimir Voevodsky. B-systems. October, 2014. [ bib | preprint | files | pdf | Abstract ]
[91] B-presheaves, October, 2014. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[92] Vladimir Voevodsky. A universe polymorphic type system, October 22, 2014. An unfinished unreleased manuscript. [ bib | files | pdf | Abstract ]
[93] Vladimir Voevodsky. Products of families of types in the C-systems defined by a universe category. March, 2015. [ bib | preprint | Abstract ]
[94] Vladimir Voevodsky. Martin-Löf identity types in the C-systems defined by a universe category. May, 2015. Submitted, 51 pages. [ bib | preprint | Abstract ]
[95] C-systems (in English), September 15, 2015. A talk in the Seminar of the Department of Algebra and of the Department of Algebraic Geometry (Shafarevich Seminar). [ bib | video | Abstract ]
[96] Vladimir Voevodsky and Marcelo Fiore. Lawvere theories and C-systems. Proceedings of the American Mathematical Society, 148, February, 2020. [ bib | DOI | preprint | pdf | http | Abstract ]
[97] Álvaro Pelayo, Vladimir Voevodsky, and Michael A. Warren. A univalent formalization of the p-adic numbers. Math. Structures Comput. Sci., 25(5):1147--1171, 2015. [ bib | DOI | preprint | MR | pdf | Abstract ]
[98] Vladimir Voevodsky. An experimental library of formalized mathematics based on the univalent foundations. Math. Structures Comput. Sci., 25(5):1278--1294, 2015. [ bib | DOI | preprint | MR | pdf | Abstract ]
[99] Vladimir Voevodsky. A C-system defined by a universe category. Theory Appl. Categ., 30:Paper No. 37, 1181--1215, 2015. [ bib | preprint | MR | pdf | .html | Abstract ]
[100] Vladimir Voevodsky. Lawvere theories and Jf-relative monads. January, 2016. 21 pages. [ bib | preprint | files | Abstract ]
[101] Vladimir Voevodsky. C-system of a module over a Jf-relative monad. February, 2016. Submitted for publication. [ bib | preprint | files | Abstract ]
[102] Mathematical theory of type theories and the initiality conjecture, April, 2016. Research proposal to the Templeton Foundation for 2016-2019, project description. [ bib | pdf ]
[103] Vladimir Voevodsky. Products of families of types and (∏,λ)-structures on C-systems. Theory Appl. Categ., 31:Paper No. 36, 1044--1094, 2016. [ bib | preprint | MR | pdf | ZB | .html | Abstract ]
[104] Vladimir Voevodsky. Subsystems and regular quotients of C-systems. In A panorama of mathematics: pure and applied, volume 658 of Contemp. Math., pages 127--137. Amer. Math. Soc., Providence, RI, 2016. [ bib | DOI | preprint | MR | Abstract ]
[105] Vladimir Voevodsky. C-systems defined by universe categories: presheaves. Theory Appl. Categ., 32:Paper No. 3, 53--112, 2017. [ bib | preprint | MR | pdf | ZB | .html | Abstract ]
[106] Unimath - its present and its future, July 10, 2017. Video and slides of a talk, Isaac Newton Institute for Mathematical Sciences, Cambridge. [ bib | slides | video | Abstract ]
[107] Simplicial and cubical sets, I -- how they relate to each other (joint work with Chris Kapulkin), July 27, 2017. Video of a talk, Isaac Newton Institute for Mathematical Sciences, Cambridge. [ bib | video | Abstract ]
[108] Simplicial and cubical sets, II -- the coherent nerve of a cubical category (joint work with K Kapulkin), August 3, 2017. Video of a talk, Isaac Newton Institute for Mathematical Sciences, Cambridge. [ bib | video | Abstract ]
[109] Models, Interpretations and the Initiality Conjectures, August 18, 2017. A talk the Special session on category theory and type theory in honor of Per Martin-Löf on his 75th birthday, August 17–19, 2017, during the Logic Colloquium 2017, August 14-20, in Stockholm. [ bib | files | pdf | http | Abstract ]
[110] Vladimir Voevodsky. The (∏,λ)-structures on the C-systems defined by universe categories. Theory Appl. Categ., 32:Paper No. 4, 113--121, 2017. [ bib | preprint | MR | pdf | ZB | .html | Abstract ]
[111] Benedikt Ahrens, Peter LeFanu Lumsdaine, and Vladimir Voevodsky. Categorical Structures for Type Theory in Univalent Foundations. In Valentin Goranko and Mads Dam, editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82 of Leibniz International Proceedings in Informatics (LIPIcs), pages 8:1--8:16, Dagstuhl, Germany, 2017. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | preprint | files | MR | pdf | http | Abstract ]
[112] Benedikt Ahrens, Peter LeFanu Lumsdaine, and Vladimir Voevodsky. Categorical Structures for Type Theory in Univalent Foundations. Logical Methods in Computer Science, 14, issue 3, September 11, 2018. [ bib | pdf | http | Abstract ]
[113] Krzysztof Kapulkin and Vladimir Voevodsky. Cubical approach to straightening. Journal of Topology, 13, issue 4:1682--1700, 2020. [ bib | DOI | preprint | http | Abstract ]
[114] Christian Haesemeyer and Charles A. Weibel. The Norm Residue Theorem in Motivic Cohomology. June 27, 2018. [ bib | .pdf | Abstract ]

This file was generated by a locally modified version of bibtex2html 1.98.

Valid HTML 4.01 StrictValid CSS!