@article{CM_1968__20__107_0,
     author = {Howard, W. A.},
     title = {Functional interpretation of bar induction by bar recursion},
     journal = {Compositio Mathematica},
     pages = {107--124},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {230619},
     zbl = {0162.31503},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__107_0/}
}