Pages that link to "Item:Q866559"
From MaRDI portal
The following pages link to Bounded functional interpretation and feasible analysis (Q866559):
Displayed 4 items.
- On bounded functional interpretations (Q424545) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Confined modified realizability (Q3406445) (← links)