@article {38,
	title = {An experimental library of formalized Mathematics based on the univalent foundations},
	journal = {Mathematical Structures in Computer Science},
	volume = {FirstView},
	year = {2015},
	note = {<p>Pre-publication version is <a href="/vladimir/sites/math.ias.edu.vladimir/files/Univalent\%20library\%20paper\%20current.pdf">here</a>.</p>
},
	month = {2},
	pages = {1{\textendash}17},
	issn = {1469-8072},
	doi = {10.1017/S0960129514000577},
	url = {http://journals.cambridge.org/article_S0960129514000577},
	author = {Voevodsky, Vladimir}
}
@article {107,
	title = {The equivalence axiom and univalent models of type theory},
	journal = {arXiv 1402.5556},
	year = {2010},
	pages = {1{\textendash}11},
	url = {http://arxiv.org/abs/1402.5556},
	author = {Vladimir Voevodsky}
}
@article {51,
	title = {An exact sequence for K^M/2 with applications to quadratic forms},
	journal = {Ann. of Math. (2)},
	volume = {165},
	year = {2007},
	pages = {1{\textendash}13},
	issn = {0003-486X},
	doi = {10.4007/annals.2007.165.1},
	url = {http://dx.doi.org/10.4007/annals.2007.165.1},
	author = {Orlov, D. and Vishik, A. and Voevodsky, V.}
}
@article {80,
	title = {Etale topologies of schemes over fields of finite type over Q},
	journal = {Izv. Akad. Nauk SSSR Ser. Mat.},
	volume = {54},
	year = {1990},
	pages = {1155{\textendash}1167},
	issn = {0373-2436},
	url = {http://iopscience.iop.org/0025-5726/37/3/A03/pdf/IZV_37_3_A03.pdf},
	author = {Voevodsky, V. A.}
}
@article {82,
	title = {Equilateral triangulations of Riemann surfaces, and curves over algebraic number fields},
	journal = {Dokl. Akad. Nauk SSSR},
	volume = {304},
	year = {1989},
	pages = {265{\textendash}268},
	issn = {0002-3264},
	author = {Voevodsky, V. A. and Shabat, G. B.}
}
