%0 Journal Article
%A Vladimir Voevodsky
%T A C-system defined by a universe category
%J Theory and applications of categories
%D 2015
%P 1181-1214
%V 30
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2015_30_a36/
%G en
%F TAC_2015_30_a36