@article {37,
	title = {A univalent formalization of the p-adic numbers},
	journal = {Mathematical Structures in Computer Science},
	volume = {FirstView},
	year = {2015},
	note = {<p>The arXiv version is <a href="http://arxiv.org/abs/1302.1207">here</a>.</p>
},
	month = {2},
	pages = {1{\textendash}25},
	issn = {1469-8072},
	doi = {10.1017/S0960129514000541},
	url = {http://journals.cambridge.org/article_S0960129514000541},
	author = {Pelayo, {\'A}lvaro and Voevodsky, Vladimir and Warren, Michael A.}
}
@article {97,
	title = {Univalent Foundations Project},
	journal = {a modified version of an NSF grant application},
	year = {2010},
	month = {October},
	pages = {1{\textendash}12},
	url = {http://www.math.ias.edu/vladimir/files/univalent_foundations_project.pdf},
	author = {Voevodsky, Vladimir}
}
@article {48,
	title = {Unstable motivic homotopy categories in Nisnevich and cdh-topologies},
	journal = {J. Pure Appl. Algebra},
	volume = {214},
	year = {2010},
	pages = {1399{\textendash}1406},
	issn = {0022-4049},
	doi = {10.1016/j.jpaa.2009.11.005},
	url = {http://dx.doi.org/10.1016/j.jpaa.2009.11.005},
	author = {Voevodsky, Vladimir}
}
