TY  - JOUR
AU  - Howard, W. A.
TI  - Ordinal analysis of bar recursion of type zero
JO  - Compositio Mathematica
PY  - 1980
SP  - 105
EP  - 119
VL  - 42
IS  - 1
PB  - Sijthoff et Noordhoff International Publishers
UR  - http://archive.numdam.org/item/CM_1980__42_1_105_0/
LA  - en
ID  - CM_1980__42_1_105_0
ER  -