Products of families of types and $(\Pi,\lambda)$-structures on C-systems | Vladimir Voevodsky

Submitted by vladimir on Sat, 2016-12-03 06:11

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

Theory Appl. Categ., Volume 31, p.No. 36, 1044-1094 (2016)

URL:

http://www.tac.mta.ca/tac/volumes/31/36/31-36.pdf

Files:

2016_products_of_families_I_TAC.pdf

Weight:

6