%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
%U http://archive.numdam.org/item/CM_1980__42_1_105_0/
%G en
%F CM_1980__42_1_105_0