Submitted by vladimir on Tue, 2015-03-10 16:13 Publication Type: Conference Paper Authors: Voevodsky, V. A. Source: Proc. Conf. Constr. Methods and Alg. Number Theory, Minsk (1989)