Pages that link to "Item:Q3576200"
From MaRDI portal
The following pages link to Computational Interpretations of Analysis via Products of Selection Functions (Q3576200):
Displaying 6 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Peirce translation (Q408162) (← links)
- (Q3685920) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- A constructive interpretation of Ramsey's theorem via the product of selection functions (Q5740680) (← links)
- Higher-order games with dependent types (Q6049932) (← links)