9 citations · 9 across the 2 of their papers we have counts for
2 papers
math.LO2014
B-systems
Vladimir Voevodsky
B-systems are algebras (models) of an essentially algebraic theory that is expected to be constructively equivalent to the essentially algebraic theory of C-systems which is, in tu…
math.LO2014★ 9 cited
A C-system defined by a universe category
Vladimir Voevodsky
This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of f…