Equivalence of bar recursors in the theory of functionals of finite type

Marc Bezem. Equivalence of bar recursors in the theory of functionals of finite type. Arch. Math. Log., 27(2):149-160, 1988. [doi]

Abstract

Abstract is missing.