Pages that link to "Item:Q2179350"
From MaRDI portal
The following pages link to Higher type recursion for transfinite machine theory (Q2179350):
Displaying 6 items.
- A two-storied universe of transfinite mechanisms (Q1121881) (← links)
- Higher type recursion, ramification and polynomial time (Q1577477) (← links)
- Higher types, finite domains and resource-bounded Turing machines (Q2882561) (← links)
- (Q4499487) (← links)
- Measure-theoretic uniformity and the Suslin functional (Q4995604) (← links)
- Computability and non-monotone induction (Q6594831) (← links)