Marc Bezem. Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. Journal of Symbolic Logic, 50(3):652-660, 1985.
@article{Bezem85a,
title = {Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals},
author = {Marc Bezem},
year = {1985},
researchr = {https://researchr.org/publication/Bezem85a},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {50},
number = {3},
pages = {652-660},
}