%0 Journal Article
%A S. Kleene
%T Lambda-definable functionals of finite types
%J Fundamenta Mathematicae
%D 1961
%P 281-303
%V 50
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-50-3-281-303/
%R 10.4064/fm-50-3-281-303
%G en
%F 10_4064_fm_50_3_281_303