TY  - JOUR
AU  - Vladimir Voevodsky
TI  - Products of families of types and $(\Pi,\lambda)$-structures on C-systems
JO  - Theory and applications of categories
PY  - 2016
SP  - 1044
EP  - 1094
VL  - 31
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2016_31_a35/
LA  - en
ID  - TAC_2016_31_a35
ER  -