Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals

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

Possibly Related Publications

The following publications are possibly variants of this publication: