%0 Journal Article
%A Yu. L. Ershov
%T Computable functionals of finite types
%J Algebra i logika
%D 1972
%P 367-437
%V 11
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1972_11_4_a0/
%G ru
%F AL_1972_11_4_a0