The following pages link to On Spector's bar recursion (Q2910991):
Displaying 5 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5129941) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
