The equivalence of bar recursion and open recursion
scientific article; zbMATH DE number 6333291
scientific article