TY  - JOUR
AU  - Scarpellini, B.
TI  - A model for barrecursion of higher types
JO  - Compositio Mathematica
PY  - 1971
SP  - 123
EP  - 153
VL  - 23
IS  - 1
PB  - Wolters-Noordhoff Publishing
UR  - http://archive.numdam.org/item/CM_1971__23_1_123_0/
LA  - en
ID  - CM_1971__23_1_123_0
ER  -