General recursive functionals of finite type and hierarchies of functions R. O. Gandy — 1967 Annales scientifiques de l'Université de Clermont. Mathématiques