Pages that link to "Item:Q3104817"
From MaRDI portal
The following pages link to Sequential games and optimal strategies (Q3104817):
Displaying 15 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Peirce translation (Q408162) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Morphisms of open games (Q2134815) (← links)
- A generalization of Nash's theorem with higher-order functionals (Q2831257) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- (Q3384909) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5020955) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← 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)
