Pages that link to "Item:Q400424"
From MaRDI portal
The following pages link to The equivalence of bar recursion and open recursion (Q400424):
Displaying 7 items.
- Bar recursion over finite partial functions (Q515562) (← links)
- Dependent choice as a termination principle (Q2309508) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
