@article {114,
	title = {The $(\Pi,\lambda)$-structures on the C-systems defined by universe categories},
	journal = {Theory and Applications of Categories},
	volume = {32},
	year = {2017},
	month = {01/2017},
	pages = {113-121},
	abstract = {<p>We define the notion of a $(P,\tilde{P})$-structure on a universe $p$ in a locally cartesian closed category category with a binary product structure and construct a $(\Pi,\lambda)$-structure on the C-systems $CC(C,p)$ from a $(P,\tilde{P})$-structure on $p$. We then define homomorphisms of C-systems with $(\Pi,\lambda)$-structures and functors of universe categories with $(P,\tilde{P})$-structures and show that our construction is functorial relative to these definitions.The proofs in this paper rely on the general constructions of the previous paper "C-systems defined by universe categories: presheaves". Keywords: Type theory, Contextual category, Universe category, dependent product, product of families of types</p>
},
	url = {http://www.tac.mta.ca/tac/volumes/32/4/32-04abs.html},
	author = {Voevodsky, Vladimir}
}
@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}
}
@article {104,
	title = {Products of families of types in the C-systems defined by a universe category},
	journal = {arXiv 1503.07072, submitted},
	year = {2015},
	pages = {1{\textendash}30},
	url = {http://arxiv.org/abs/1503.07072},
	author = {Voevodsky, Vladimir}
}
@inbook {57,
	title = {A possible new approach to the motivic spectral sequence for algebraic K-theory},
	booktitle = {Recent progress in homotopy theory Baltimore, MD, 2000)},
	series = {Contemp. Math.},
	volume = {293},
	year = {2002},
	pages = {371{\textendash}379},
	publisher = {Amer. Math. Soc., Providence, RI},
	organization = {Amer. Math. Soc., Providence, RI},
	doi = {10.1090/conm/293/04956},
	url = {http://dx.doi.org/10.1090/conm/293/04956},
	author = {Voevodsky, Vladimir}
}
@article {86,
	title = {Piece-Wise Euclidean Approximation of Jacobians of Algebraic Curves},
	journal = {CSTARCI Math. Preprints},
	year = {1990},
	author = {Voevodsky, V. A. and Shabat, G. B.}
}
