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

Source:

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