@article{CM_1971__23_1_123_0,
     author = {Scarpellini, B.},
     title = {A model for barrecursion of higher types},
     journal = {Compositio Mathematica},
     pages = {123--153},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {23},
     number = {1},
     year = {1971},
     mrnumber = {289257},
     zbl = {0212.01901},
     language = {en},
     url = {http://www.numdam.org/item/CM_1971__23_1_123_0/}
}