%0 Journal Article %A Howard, W. A. %T Ordinal analysis of bar recursion of type zero %J Compositio Mathematica %D 1980 %P 105-119 %V 42 %N 1 %I Sijthoff et Noordhoff International Publishers %G en %F CM_1980__42_1_105_0