Pages that link to "Item:Q5898840"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898840):
Displaying 11 items.
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- (Q5028422) (← links)
- (Q5129941) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)