%0 Journal Article
%A Vladimir Voevodsky
%T Products of families of types and $(\Pi,\lambda)$-structures on C-systems
%J Theory and applications of categories
%D 2016
%P 1044-1094
%V 31
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2016_31_a35/
%G en
%F TAC_2016_31_a35