TY  - JOUR
AU  - S. Kleene
TI  - Lambda-definable functionals of finite types
JO  - Fundamenta Mathematicae
PY  - 1961
SP  - 281
EP  - 303
VL  - 50
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-50-3-281-303/
DO  - 10.4064/fm-50-3-281-303
LA  - en
ID  - 10_4064_fm_50_3_281_303
ER  -