@article {112,
	title = {Products of families of types and $(\Pi,\lambda)$-structures on C-systems},
	journal = {Theory Appl. Categ.},
	volume = {31},
	year = {2016},
	month = {11/2016},
	pages = {No. 36, 1044-1094},
	url = {http://www.tac.mta.ca/tac/volumes/31/36/31-36.pdf},
	author = {Voevodsky, Vladimir}
}