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