, , ,
Springer
Archive for Mathematical Logic

Bezem, M. A. (1988). Equivalence of bar recursors in the theory of functionals of finite type. Archive for Mathematical Logic, 27(2), 149–160.