The following pages link to On Spector's bar recursion (Q2910991):
Displaying 11 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- Equivalence of bar recursors in the theory of functionals of finite type (Q1115867) (← links)
- System T and the product of selection functions (Q2915685) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5129941) (← links)
- (Q5144612) (← links)
- Bar recursion is not computable via iteration (Q5211057) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- Logical Approaches to Computational Barriers (Q5898840) (← links)