Marc Bezem. Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. Journal of Symbolic Logic, 50(3):652-660, 1985.
No references recorded for this publication.
No citations of this publication recorded.