Products of families of types in the C-systems defined by a universe category | Vladimir Voevodsky

Submitted by vladimir on Tue, 2015-05-26 06:41

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

arXiv 1503.07072, submitted, p.1–30 (2015)

URL:

http://arxiv.org/abs/1503.07072

Weight:

3