Pages that link to "Item:Q5251356"
From MaRDI portal
The following pages link to BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356):
Displaying 10 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- System T and the product of selection functions (Q2915685) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5144612) (← links)
- Bar recursion is not computable via iteration (Q5211057) (← links)
- Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice (Q5225854) (← links)
- Higher-order games with dependent types (Q6049932) (← links)