%0 Journal Article
%A V. N. Krivtsov
%T Imbedding of the intuitionistic theory of types into the
%J Doklady Akademii Nauk
%D 1984
%P 529-533
%V 277
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1984_277_3_a2/
%G ru
%F DAN_1984_277_3_a2