%0 Journal Article
%A V. I. Amstislavskiǐ
%T A sharpened theorem on substitution for computable functionals and some of its consequences
%J Trudy Moskovskogo matematičeskogo obŝestva
%D 1978
%P 255-269
%V 37
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MMO_1978_37_a7/
%G ru
%F MMO_1978_37_a7