TY - JOUR AU - Howard, W. A. TI - Ordinal analysis of bar recursion of type zero JO - Compositio Mathematica PY - 1980 DA - 1980/// SP - 105 EP - 119 VL - 42 IS - 1 PB - Sijthoff et Noordhoff International Publishers UR - http://www.numdam.org/item/CM_1980__42_1_105_0/ UR - https://zbmath.org/?q=an%3A0444.03030 UR - https://www.ams.org/mathscinet-getitem?mr=594485 LA - en ID - CM_1980__42_1_105_0 ER -