Pages that link to "Item:Q3559969"
From MaRDI portal
The following pages link to Selection functions, bar recursion and backward induction (Q3559969):
Displaying 18 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Peirce translation (Q408162) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- A Coalgebraic View of Bar Recursion and Bar Induction (Q2811334) (← links)
- A generalization of Nash's theorem with higher-order functionals (Q2831257) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- Sequential games and optimal strategies (Q3104817) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- (Q3384909) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
