The following pages link to (Q5702662):
Displaying 10 items.
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Peirce translation (Q408162) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- (Q5155683) (← links)
- A direct computational interpretation of second-order arithmetic via update recursion (Q6649499) (← links)