Computability in type-2 objects with well-behaved type-1 oracles is p-normal
We show that computability in a type-2 object is p-normal if type-1 partial inputs are computed by "well-behaved oracles".
computability oracles p-normality type-2 computability