The following pages link to Modified bar recursion (Q5481588):
Displaying 11 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- A Computable Solution to Partee’s Temperature Puzzle (Q2964003) (← links)
- Sequential games and optimal strategies (Q3104817) (← links)
- Selection functions, bar recursion and backward induction (Q3559969) (← links)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5015363) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- Constructive decidability of classical continuity (Q5740671) (← links)
