%0 Journal Article
%A Feferman, Solomon
%T Recursion in total functionals of finite type
%J Compositio Mathematica
%D 1977
%P 3-22
%V 35
%N 1
%I Noordhoff International Publishing
%U http://www.numdam.org/item/CM_1977__35_1_3_0/
%G en
%F CM_1977__35_1_3_0