TY  - RPRT
TI  - Products of families of types and (Pi,lambda)-structures on C-systems
AU  - Vladimir Voevodsky
PY  - 2017
UR  - https://arxiv.org/abs/1706.03605
ID  - 1706.03605
ER  -