%0 Journal Article
%A Scarpellini, B.
%T A model for barrecursion of higher types
%J Compositio Mathematica
%D 1971
%P 123-153
%V 23
%N 1
%I Wolters-Noordhoff Publishing
%U http://archive.numdam.org/item/CM_1971__23_1_123_0/
%G en
%F CM_1971__23_1_123_0