TY - JOUR AU - Feferman, Solomon TI - Recursion in total functionals of finite type JO - Compositio Mathematica PY - 1977 SP - 3 EP - 22 VL - 35 IS - 1 PB - Noordhoff International Publishing UR - http://archive.numdam.org/item/CM_1977__35_1_3_0/ LA - en ID - CM_1977__35_1_3_0 ER -