Marc Bezem. Equivalence of bar recursors in the theory of functionals of finite type. Arch. Math. Log., 27(2):149-160, 1988. [doi]
@article{Bezem88-0, title = {Equivalence of bar recursors in the theory of functionals of finite type}, author = {Marc Bezem}, year = {1988}, doi = {10.1007/BF01620763}, url = {http://dx.doi.org/10.1007/BF01620763}, researchr = {https://researchr.org/publication/Bezem88-0}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {27}, number = {2}, pages = {149-160}, }