Abstract
We show that computability in a type-2 object is p-normal if type-1 partial inputs are computed by ``well-behaved oracles''.
Get full access to this article
View all access options for this article.
You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026
Select search scope: search across all journals or within the current journal
We show that computability in a type-2 object is p-normal if type-1 partial inputs are computed by ``well-behaved oracles''.
View all access options for this article.