@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}
}
