%0 Journal Article %A Howard, W. A. %T Functional interpretation of bar induction by bar recursion %J Compositio Mathematica %D 1968 %P 107-124 %V 20 %I Wolters-Noordhoff Publishing %U http://www.numdam.org/item/CM_1968__20__107_0/ %G en %F CM_1968__20__107_0